论文信息 - A TOOLED APPROACH FOR DESIGNING EXECUTABLE AND VERIFIABLE MODELING LANGUAGES - 字舞流文

A TOOLED APPROACH FOR DESIGNING EXECUTABLE AND VERIFIABLE MODELING LANGUAGES

François Pfister | Christophe Dony | Vincent Chapurlat | Blazo Nastov

[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.