一种获得形式化功能需求的方法
일충획득형식화공능수구적방법
AN APPROACH TO CAPTURING FORMAL FUNCTIONAL REQUIREMENTS
  • 万方数据
    计算机应用与软件 계산궤응용여연건
    COMPUTER APPLICATIONS AND SOFTWARE
    2004年 10期 4-6 ,共3页

    高如海%缪淮扣%陈怡海

    고여해%무회구%진이해

    UML Object-Z 形式化 功能需求 UML Object-Z 形式化 功能需求
    UML Object-Z 형식화 공능수구
    用例图在面向对象的软件开发过程中起着重要的作用.它用于描述系统的功能需求,但是它缺乏如Object-Z形式规格说明语言的精确性.本文结合一个实例给出了一种如何使用UML捕获系统的功能需求,并将该功能需求形式化的方法.本文定义了从UML用例图到Object-Z的转换规则,实现了用例图的形式化、获得了形式化的功能需求.
    용례도재면향대상적연건개발과정중기착중요적작용.타용우묘술계통적공능수구,단시타결핍여Object-Z형식규격설명어언적정학성.본문결합일개실례급출료일충여하사용UML포획계통적공능수구,병장해공능수구형식화적방법.본문정의료종UML용례도도Object-Z적전환규칙,실현료용례도적형식화、획득료형식화적공능수구.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문