四川省科技计划项目(2013GZ0022)
- 作品数：1 被引量：4H指数：1
- 相关作者：陈志慧吴劲更多>>
- 相关机构：电子科技大学更多>>
- 发文基金：中央高校基本科研业务费专项资金四川省科技计划项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Event-B的形式化建模关键技术研究被引量：4
- 2014年
- 软件系统的规模和复杂程度不断提高而传统的需求分析方法难以确保软件的正确性和一致性,为软件系统的质量埋下了隐患。软件工程的实践表明,在开发过程中,错误发现得越早,修复得越早,付出的代价越小。为了确保软件的质量,可在软件开发的早期需求分析阶段,采用Event-B形式化方法描述软件的需求,并验证模型的正确性。以文件系统建模为例,该文讨论了如何利用Event-B方法,采用逐步精化的方式建立并验证模型,确保软件的正确性。
- 吴劲陈志慧
- 关键词：形式化建模精化
