Tag cloud | Project Tree | Project List
92 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.<1> <2> <3> <4> <5>
| UML To Python - Convert UML into Python Code. This project should be able to convert UML class diagrams into Python skeletons. | |
Register Date: 2007-05-15 11:42 | |
| UML to real time Java with RTSJ - Convert UML into Real Time Java using RTSJ. This project should be able to convert UML class, structure composite and state machine diagrams with an RTSJ profile into real time Java. | |
| Register Date: 2009-12-14 16:05 |
| UML To SysML - UML to SysML model transformation in the frame of the topcased approach. | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2009-03-26 09:12 |
| UML To Test - This project provides a basic process for generating test cases from UML UC descriptions, essentially activity diagrams with associated requirements. | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2008-03-28 14:57 |
| Vasco - The goal of Vasco is to develop a robot which can build a map of its environment. | |
| Register Date: 2005-06-03 23:46 |
| VeriFME - The goal of this project is to work on formal verification technologies around behavioral modeling. | |
Register Date: 2011-01-06 15:20 | |
| VeriFME Gentest - VeriFME Gentest is the component responsible for generating test plans from verification models. | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2011-04-04 12:37 |
| VeriFME MT - VeriFME MT (stands for Model Transformations) hosts all M2M transformations implemented in the context of the VeriFME project. | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2011-04-04 10:33 |
| VeriFME OMV - VeriFME OMV is the component responsible for model validations based on OCL. | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2011-04-04 10:30 |
| VeriFME UCM - VeriFME-UCM provides context models for performing formal verifications. | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2011-04-04 10:20 |
| VeriFME UM - VeriFME-UM provides all DSML required for formal verifications. | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2011-04-04 10:19 |
| Visual PDE - This project aims to develop a set of tools to design and create Eclipse plugins. | |
Register Date: 2006-03-13 14:40 | |
92 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4> <5>
