Sciweavers

ECLIPSE
2007
ACM
14 years 3 months ago
MTSA: Eclipse support for modal transition systems construction, analysis and elaboration
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
Nicolás D'Ippolito, Dario Fischbein, Howard...