首页 | 官方网站   微博 | 高级检索  
     

Integrating object-oriented methods and formal methods for requirement engineering
作者姓名:陈怡海  缪淮扣
作者单位:SchoolofComputerEngineering&Science,ShanghaiUniversity,200072,Shanghai,China
基金项目:SponsoredbytheNationalScienceFundofChina (GrantNo .60 173 0 3 0 )andtheScienceandTechnologyDevelopmentFundofShanghaiMunicipalEducation Commission (GrantNo.0 2AK0 7) .
摘    要:High quality software requirement specification is crucial for a software development. Although much efforts and research works have been done to address the problem, the errors in user requirement are still prevent us from developing high quality software. To address the problem, this paper proposes integrating graphical specification technique UML with formal specification technique to construct user requirement specification. We also present a prototype tool to perform the automatic translation from UML specification into Object-Z specification.

关 键 词:软件开发  方法整合  软件需求  UML  目标-Z  自动翻译

Integrating object-oriented methods and formal methods for requirement engineering
CHEN Yi-hai,MIAO Huai-kou.Integrating object-oriented methods and formal methods for requirement engineering[J].Journal of Harbin Institute of Technology,2004,11(3):295-299.
Authors:CHEN Yi-hai  MIAO Huai-kou
Abstract:High quality software requirement specification is crucial for a software development. Although much efforts and research works have been done to address the problem, the errors in user requirement are still prevent us from developing high quality software. To address the problem, this paper proposes integrating graphical specification technique UML with formal specification technique to construct user requirement specification. We also present a prototype tool to perform the automatic translation from UML specification into Object-Z specification.
Keywords:formal methods  UML  Object-Z  methods integration
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号