-
题名B语言和方法与Z、VDM的比较
被引量：29
- 1
-
-
作者
邹盛荣
郑国梁
-
机构
南京大学计算机科学系
-
出处
《计算机科学》
CSCD
北大核心
2002年第10期136-138,共3页
-
文摘
1 引言形式化方法是建立在严格数学基础上的软件开发方法。软件开发的全过程中,从需求分析、规格说明、设计、编程、系统集成、测试、文档生成直至维护各阶段,凡是采用严格的数学语言、具有精确的数学语义的方法都称为形式化方法。形式化方法的一个重要研究内容是形式规格说明,即用具有精确语义的形式化语言书写的程序功能描述,它是论证程序是否正确的依据。形式化方法需要形式规格说明语言的支持,也可以说形式化方法的关键在于形式规格说明语言。形式规格说明语言提供了一个称为语法域的记号系统和一个称为语义域的目标集合,以及一组精确地定义哪些目标系统满足哪个规格说明的规则。根据对目标软件系统进行说明的方式分三种规格说明语言:
-
关键词
b语言
z语言
vdm语言
程序设计语言
形式化方法
软件开发
-
Keywords
b,z,vdm,formal method,specification language
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
TP311.
[自动化与计算机技术—计算机软件与理论]
-
-
题名VDM和Z两种规范描述语言的比较
被引量：5
- 2
-
-
作者
朱玉
陈忠民
张乃孝
-
机构
湖州师范专科学校
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
1996年第11期816-822,共7页
-
基金
国家自然科学基金
-
文摘
本文以关系数据库的规范为例，详细讨论了两种重要的规范描述语言ＶＤＭ和Ｚ的主要区别，对它们的共性和发展史也作了简单介绍。
-
关键词
vdm规范
规范描述语言
z规范
程序语言
-
Keywords
vdm, z, formal methods, specification languages.
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名两种形式语言:RSL与Z的分析比较
被引量：4
- 3
-
-
作者
陈怡海
缪淮扣
-
机构
上海大学计算机工程与科学学院
-
出处
《计算机应用与软件》
CSCD
北大核心
2002年第4期9-11,50,共4页
-
基金
国家自然科学基金(编号:699773038)
美国AM基金的资助
-
文摘
RSL(RAISE规格说明语言)和Z是目前广泛应用的软件规格说明语言,本文从软件开发生命周期的角度对两种语言进行了比较,提出了将不同规格说明语言结合形式地描述系统的设想。
-
关键词
形式语言
RSL语言
z语言
比较
软件开发
-
Keywords
formal methods RSL z specification language
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于学分制排课系统的Z规格说明
- 4
-
-
作者
姜虹
李峰
俞均
-
机构
西安工业大学计算机科学与工程学院
-
出处
《现代电子技术》
2012年第12期50-53,共4页
-
文摘
运用形式化方法建模在软件开发过程中可提高目标系统的正确性和可靠性,在此提出了一种利用Z语言进行语义分析的方法。该方法在序列图Z规范的基础上,用属性集表示对象状态,并将序列图的上下文表示为Z形式约束,通过检查上下文约束与对象状态间的一致性对序列图进行语义分析。在此以一个基于学分制的排课系统为例,使用面向对象的形式规格说明语言Z,描述了一个精确、完整的高校排课系统的形式化数学模型。过程显示,该方法具有精确的描述性和很强的抽象性,能为软件系统的开发和验证提供科学的框架。
-
关键词
形式化方法
规格说明
z语言
排课系统
-
Keywords
formalized method, specification
z language
class scheduling system
-
分类号
TP311-34
[自动化与计算机技术—计算机软件与理论]
-
