[1]
杨芙清,梅宏,吕建,等.浅论软件技术发展[J].电子学报,2003,26(9):1104-1115.
[2]
吕建,马晓星,陶先平,等.网构软件的研究与进展[J].中国科学E辑:信息科学,2006,36(10):1037-1080.
[3]
曾红卫,缪淮扣.构件式系统的建模与验证[J].计算机科学与探索,2008,2(2):198-205.
[4]
霍健,杨秋松,肖俊超,等.一种形式化的组合化软件过程建模方法[J].软件学报,2011,22(1):1-16.
[5]
胡军,黄志球,曹东,等.网构软件的资源自适应性的形式化分析与验证[J].软件学报,2008,19(5):1186-1200.
[6]
包书勇,王忠群.网构软件演化的业务一致性验证方法[J].计算机工程,2011,37(17):29-31.
[7]
DE ALFARO L,HENZINGER T A. Interface automata[C]// Proceedings of the 8th European Software Engineering Conference and the 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York:ACM,2001:109-120.
[8]
桑海,张明清,唐俊.基于可达图的仿真组件接口设计一致性验证[J].计算机仿真,2010,27(4):75-79.
[9]
BENARI M. Principles of the spin model checking[M].London:SpringerVerlag,2008.
[10]
HOLZMANN J G.Spin model checker:primer and reference manual[M]. Boston:AddisonWesley,2003.
[11]
谭亮,曾红卫.基于接口自动机的Web应用验证[J].计算机工程与应用, 2009,45(3):70-73. |