形式规范语言数据求精过程的代数验证方法

来源 :现代电力 | 被引量 : 0次 | 上传用户：c1s2d3n456

【摘要】

：

软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术.规范语言的求精过程可分为数据求精和过程求精.从面向模型的规范语言(如VDM,Z)出发,提出一种严格定义的类

【作者】

：

王帆梁洪峻李潮

【机构】

：

天津大学计算机系,天津,300020;华北电力大学(北京)图书馆,北京,102206

【出处】

：

现代电力

【发表日期】

：

2003年5期

【关键词】

：

代数验证方法规范语言数据求精

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术.规范语言的求精过程可分为数据求精和过程求精.从面向模型的规范语言(如VDM,Z)出发,提出一种严格定义的类型代数理论和一组基于抽象代数的规则来验证数据求精过程,解决了形式规范语言在数据转换过程中的语言一致性问题.此方法可以作为数据求精过程的自动化验证的基础.

其他文献

通信卫星系列报道之五21世纪初中国Ku频段电视直播卫星方案(上)

1 中国电视直播卫星方案研究的依据rn研究和制定我国电视直播卫星方案首先要了解我国卫星通信广播业务发展现状和未来需求,了解当代通信广播卫星的技术水平和发展趋势,还要了

期刊