首页 | 本学科首页   官方微博 | 高级检索  
     

B语言和方法与Z、VDM的比较
引用本文:邹盛荣,郑国梁.B语言和方法与Z、VDM的比较[J].计算机科学,2002,29(10):136-138.
作者姓名:邹盛荣  郑国梁
作者单位:南京大学计算机科学系,南京,210093
摘    要:1 引言形式化方法是建立在严格数学基础上的软件开发方法。软件开发的全过程中,从需求分析、规格说明、设计、编程、系统集成、测试、文档生成直至维护各阶段,凡是采用严格的数学语言、具有精确的数学语义的方法都称为形式化方法。形式化方法的一个重要研究内容是形式规格说明,即用具有精确语义的形式化语言书写的程序功能描述,它是论证程序是否正确的依据。形式化方法需要形式规格说明语言的支持,也可以说形式化方法的关键在于形式规格说明语言。形式规格说明语言提供了一个称为语法域的记号系统和一个称为语义域的目标集合,以及一组精确地定义哪些目标系统满足哪个规格说明的规则。根据对目标软件系统进行说明的方式分三种规格说明语言:

关 键 词:B语言  Z语言  VDM语言  程序设计语言  形式化方法  软件开发

Comparison of Z and VDM with B
Abstract:
Keywords:
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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