一种面向对象的形式化规范说明技术

An Object-Oriented Formal Specification Technology──VDM++

下载PDF

导出

摘要介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋，它是ＶＤＭ的一种扩充．并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明． This paper describes a new object-oriented formal specification technology VDM++: an extension of VDM, and presents a simple example of specifying object-oriented system in VDM ++.

作者施小英林轶杰

出处《上海交通大学学报》 EI CAS CSCD 北大核心 1996年第6期162-165,共4页 Journal of Shanghai Jiaotong University

关键词面向对象形式化规范说明 VDM++ 程序设计 object-oriented: formal specification VDM++ drawing system

分类号 TP311.51 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

1王新苏,罗文坚,毛晨晓,王煦法.基于RUP和VDM++的软件形式化开发方法的研究[J].计算机工程与应用,2005,41(26):100-103. 被引量：1
2吕建,杨大军,廖宇,唐宝.一种并发面向对象同步模型研究[J].软件学报,2002,13(1):71-79. 被引量：1
3胡文生,赵明,杨剑峰,贾国荣.UML类模型的VDM++形式化规约[J].微电子学与计算机,2012,29(6):104-107.
4李造利,刘建新,张卫华.利用广域网技术实现供电企业上报数据的远程传送[J].电力情报,2002(2):48-50.
5全炳哲,金淳兆.面向对象软件的形式规格说明技术[J].计算机科学,1995,22(1):37-42. 被引量：2
6张幸儿,朱晓军.基于形式源级转换的可执行规格说明技术[J].软件学报,1992,3(3):33-39.
7李乐.ASP.NET MVC框架在干部教育培训系统中的应用[J].科技信息,2009(7):48-49. 被引量：2
8张文升,周青云,周晓聪.算法演示系统研究与应用[J].计算机应用与软件,2008,25(10):41-43. 被引量：9
9缪淮扣,陈怡海.带OCL约束条件的类图到Object-Z规格说明的转换[J].计算机科学,2007,34(1):228-235. 被引量：4
10李伟群,刘薇.基于本体的NGN上下文感知业务设计与实现[J].计算技术与自动化,2010,29(4):78-81.

上海交通大学学报

1996年第6期

浏览历史

内容加载中请稍等...

一种面向对象的形式化规范说明技术

相关作者

相关机构

相关主题

浏览历史