首页|期刊导航|哈尔滨工业大学学报（英文版）|Integrating object-oriented methods and formal methods for requirement engineering
哈尔滨工业大学学报（英文版）2004，Vol.11Issue(3)：295-299,5.
Integrating object-oriented methods and formal methods for requirement engineering
Integrating object-oriented methods and formal methods for requirement engineering
摘要
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.关键词
formal methods/UML/Object-Z/methods integrationKey words
formal methods/UML/Object-Z/methods integration分类
信息技术与安全科学引用本文复制引用
陈怡海,缪淮扣..Integrating object-oriented methods and formal methods for requirement engineering[J].哈尔滨工业大学学报（英文版）,2004,11(3):295-299,5.基金项目
Sponsored by the National Science Fund of China (Grant No. 60173030 ) and the Science and Technology Development Fund of Shanghai Municipal Education Commission ( Grant No. 02AK07). （Grant No. 60173030 ）
