STATEMATE: a working environment for the development of complex reactive systems
暂无分享,去创建一个
A. Pnueli | R. Sherman | D. Harel | H. Lachover | A. Naamad | M. Politi | A. Shtul-Trauring | A. Pnueli | D. Harel | A. Naamad | H. Lachover | M. Politi | R. Sherman | A. Shtul-Trauring | David Harel | Amir Pnueli | Amir Pnueli
[1] David Harel,et al. On visual formalisms , 1988, CACM.
[2] A. Pnueli,et al. STATEMATE: a working environment for the development of complex reactive systems , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.
[3] Amir Pnueli,et al. On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.
[4] Paul T. Ward,et al. The transformation schema: An extension of the data flow diagram to represent control and timing , 1986, IEEE Transactions on Software Engineering.
[5] Amir Pnueli,et al. Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.
[6] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..