A package was submitted to savannah.gnu.org This mail was sent to [EMAIL PROTECTED], [EMAIL PROTECTED]
Thomas Huining Feng <[EMAIL PROTECTED]> described the package as follows: License: gpl Other License: Package: SVM System name: svm Type: GNU Description: SVM (Statechart Virtual Machine) is a tool to interpret and simulate models (written in a textural format) of an extended statechart formalism. It is programmed in Python and Jython and aimed to facilitate software design with UML formalisms. It supports real-time, scaled-time and virtual time simulation, either on a single machine or distributedly (by PVM). Other tools are also included in this project, such as statechart checker (which checks statechart models with sequence diagrams, class diagrams and so on), output verifier (which verifies the output trace with initial requirements), and so on. SCC is another important part of this project, which compiles statecharts into (very efficient) Java code. The execution result of the generated Java code is exactly the same as the simulation result from the SVM interpreter. Hence, this project covers the following phases in software engineering: model design, checking, simulation, verification and code generation. For more information and source code, please point to: http://msdl.cs.mcgill.ca/people/tfeng/?research=svm Other Software Required: Other Comments: Necessary comments and COPYING file added to the release and the nightly tar-ball. _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/ _______________________________________________ Savannah-hackers mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/savannah-hackers
