期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

Object-Z规格到实现机制探讨

下载PDF
导出
摘要 形式化规格是保证所设计的系统具有较高的可信度和正确性的重要途径,它涉及软件生命周期的各个阶段。从形式化规格到软件编码是软件开发中的一个关键环节。在分析了规格化和高级语言之间的内在关系的基础上,概括了基于Object-Z规格到Java实现的几条转换机制,并运用案例研究来说明这些机制。
作者 王志刚 谢茂芳
机构地区 湖南师范大学数学与计算机学院
出处 《计算机光盘软件与应用》 2013年第21期59-61,58,共4页 Computer CD Software and Application
关键词 软件体系结构 形式规格 OBJECT-Z JAVA 转换机制
分类号 TP391.41 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献8

  • 1Duke R,Rose G. Formal object-oriented specification using object-Z[M].Macmillan Press Ltd,2000.
  • 2孙昌爱,金茂忠,刘超.软件体系结构研究综述[J].软件学报,2002,13(7):1228-1237. 被引量：218
  • 3陈琳琳,戎玫,张广泉.体系结构描述语言XYZ/ADL到UML的映射[J].计算机应用,2006,26(2):468-471. 被引量：4
  • 4唐姗,赵文耘.基于反射的动态软件体系结构实现[J].微电子学与计算机,2006,23(9):32-34. 被引量：11
  • 5李莹.软件工程形式化方法与语言[M]杭州:浙江大学出版社,2010.
  • 6NASA JPL. Formal Methods Specification and Verification Guidebook for Software and Computer Systems[M].Pasadena,CA,USA,1995.1-59.
  • 7Jonathan A,Craig C,David N. Arch Java. Connecting Software Architecture to Implementation[A].2002.
  • 8Smith G. The Object-Z Specification Language-Advances in Formal Methods[M].Kluwer Academic Publishers,2000.

二级参考文献20

  • 1戎玫,张广泉.形式化与可视化相结合的软件体系结构描述方法研究[J].计算机科学,2005,32(4):205-208. 被引量：10
  • 2陶伟.以体系结构为中心软件产品线开发：博士学位论文[M].北京:北京航空航天大学,1999..
  • 3周莹新.电信软件体系结构的研究：博士学位论文[M].北京:北京邮电大学,1997..
  • 4RumbaughJ JacobsonI BoochG 姚淑珍 译.UML参考手册[M].北京:机械工业出版社,2001..
  • 5MEDVIDOVIC N, TAYLOR R N, A classification and comparison framework for software architecture description language[J]. IEEE Transactions on Software Engineering, 2000, 26(1) : 70 - 93.
  • 6MEDVIDOVIC N, ROSENBLUM D S, ROBBISNS J E, et al. Modeling software architecture in the unified modeling language[J].ACM Transactions on Software Engineering and Methodology, 9002,11(1):2-57.
  • 7COSTAFM.Combining meta-information management and reflection in an architecture for configurable and reconfigurable middleware[D].Lancaster:PhD Thesis,Lancaster Uiversity,2001
  • 8D G Bobrow,R G Gabriel,et al.CLOS in context-The shape of the design space.In:Object Oriented Programming-The CLOS Perspective.Massachusetts:MIT Press,1993
  • 9J Ferber.Computational reflection in class based object oriented languages.In:Proc of the 4th Conf on ObjectOriented Programming:Systems,Languages and Applications(OOPSLA'89),SIGPLAN Notices 24.New York:ACM Press,1989,317～326
  • 10Jeremy S Bradbury,James R Cordy,Juergen Dingel,A survey of self-management in dynamic software architecture specifications.Newport Beach,CA,USA,WOSS'04,2004

共引文献230

计算机光盘软件与应用
2013年 第21期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部