摘要:
参考文章(16)
Richard F. Paige, A Meta-Method for Formal Method Integration formal methods. pp. 473- 494 ,(1997) , 10.1007/3-540-63533-5_25
Luciano Baresi, Mauro Pezzè, On formalizing UML with high-level petri nets Lecture Notes in Computer Science. pp. 276- 304 ,(2001) , 10.1007/3-540-45397-0_9
R. Bardohl, A. Schürr, G. Taentzer, M. Minas, Application of graph transformation to visual languages Handbook of graph grammars and computing by graph transformation. pp. 105- 180 ,(1999)
Imtiaz A. Pirbhai, Derek J. Hatley, Strategies for Real-Time System Specification ,(1987)
René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen, The IFAD VDM-SL toolbox ACM SIGPLAN Notices. ,vol. 29, pp. 77- 80 ,(1994) , 10.1145/185009.185028
R France, A Evans, K Lano, B Rumpe, The UML as a Formal Modeling Notation Computer Standards & Interfaces. ,vol. 19, pp. 325- 334 ,(1998) , 10.1016/S0920-5489(98)00020-8
Ove Færgemand, Anders Olsen, Introduction to SDL-92 Computer Networks and ISDN Systems. ,vol. 26, pp. 1143- 1167 ,(1994) , 10.1016/0169-7552(94)90016-7
Edmund M. Clarke, Jeannette M. Wing, Formal methods ACM Computing Surveys. ,vol. 28, pp. 626- 643 ,(1996) , 10.1145/242223.242257
J.P. Bowen, R.W. Butler, D.L. Dill, R.L. Glass, D. Gries, A. Hall, An Invitation to Formal Methods Computer. ,vol. 29, pp. 16- 17 ,(1996) , 10.1109/MC.1996.488298
D. Le Metayer, Describing software architecture styles using graph grammars foundations of software engineering. ,vol. 24, pp. 521- 533 ,(1998) , 10.1109/32.708567