Computer Science ›› 2014, Vol. 41 ›› Issue (4): 184-189.
Previous Articles Next Articles
MA Li,ZHONG Yong and HUO Ying-yu
| [1] 许庆国,缪淮扣,曹晓夏,等．Object-Z规格说明测试用例的自动生成器[J]．软件学报,2011,2(6):1155-1168 [2] 缪淮扣,李刚,朱关铭．软件工程语言—Z[M]．上海:上海科学技术文献出版社,1999 [3] 严吉皞,缪淮扣．基于Object-Z的Web组件形式化建模[J].计算机科学,2012,39(6):383-407 [4] Smith G．An Object-Oriented Approach to Formal Specification[D]．Queensland:Department of Computer Science,University of Queensland,1992 [5] Dong J S,Colton J,Zucconi L．A Formal Object Approach to Real-Time Specification[C]∥Proc of 1996Asia-Pacific Software Engineering Conference．Korea:IEEE,1996 [6] Smith G,Hayes I J．An Introduction to Real-Time Object-Z[J]．Formal Asp．Comput.,2002,13(2):128-141 [7] Brendan M,Dong J S．Blending Object-Z and Timed CSP:An In-troduction to TCOZ[C]∥Proc of International Conference on Software Engineering．Kyoto:IEEE,1998:95-104 [8] 文志诚,李长云,满君丰.用带时钟变量的线性时态逻辑扩充Object-Z[J]．计算机应用研究,2009,26(5):1764-1769 [9] Manuel H,David B,Alexander P．On obligations[C]∥Proc．of 10th European Symposium on Research in Computer Security,LNCS 3679．Heidelberg:Springer-Verlag,2005:98-117 [10] 钟勇,秦小麟,刘凤玉.一种面向DRM的责任授权模型及其实施框架[J].软件学报,2010,21(8):2059-2070 [11] 朱彬,王帅,王娜．使用Object-Z获取形式需求[J]．计算机辅助工程,2008,17(1):87-90 [12] Smith G．The Object-Z specification language[M]．Boston:Kluwer Academic,2000 |
| No related articles found! |
|
||
Home