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