...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of Harbin Institute of Technology >integrating object-oriented methods and formal methods for requirement engineering
【24h】

integrating object-oriented methods and formal methods for requirement engineering

机译：集成面向对象方法和形式化方法进行需求工程

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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 graphieal specification technique UML with formal specification technique to construct user requirement specifieation. We also present a prototype tool to perform the automatic translation from UML specification into Object-Z specification.
机译：高质量的软件需求规范对于软件开发至关重要。尽管已经为解决该问题进行了大量的努力和研究工作，但是用户需求中的错误仍然阻止我们开发高质量的软件。为了解决这个问题，本文提出将图形规范技术UML与形式规范技术相结合，以构建用户需求规范。我们还提供了一个原型工具，以执行从UML规范到Object-Z规范的自动转换。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号