A TOOLED APPROACH FOR DESIGNING EXECUTABLE AND VERIFIABLE MODELING LANGUAGES
暂无分享,去创建一个
[1] Janine Magnier,et al. The temporal Boolean derivative applied to verification of extended finite state machines , 1995 .
[2] Jean-Marc Jézéquel,et al. Weaving executability into object-oriented meta-languages , 2005, MoDELS'05.
[3] Vincent Chapurlat,et al. Formal Representation and Proof of the Interpreted Sequential Machine Model , 1997, EUROCAST.