Experience in modeling a concurrent software system using STATEMATE
暂无分享,去创建一个
G. L. Coleman | C. P. Ellison | G. G. Gardner | D. L. Sandini | J. W. Brackett | J. Brackett | G. L. Coleman | C. P. Ellison | G. G. Gardner | D.L. Sandini
[1] Donald Ervin Knuth,et al. The Art of Computer Programming , 1968 .
[2] Hassan Gomaa. Structuring criteria for real time system design , 1989, ICSE '89.
[3] David Harel,et al. On visual formalisms , 1988, CACM.
[4] A. Pnueli,et al. STATEMATE: a working environment for the development of complex reactive systems , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.
[5] Donald E. Knuth,et al. The Art of Computer Programming, Volume I: Fundamental Algorithms, 2nd Edition , 1997 .