Tag cloud | Project Tree | Project List
Project tree
|
|
Browse By:
|
16 projects in result set.
| 1. Java To UML - This project will contain the import process from Java code to a UML model. | |
| Activity Percentile: 90.00 Activity Ranking: 4.00 Registered: 2006-03-17 17:33 | |
| 2. SMUC - State Machine from Uml Compiler | |
| Activity Percentile: 80.00 Activity Ranking: 7.00 Registered: 2007-06-08 15:27 | |
| 3. ADELE - ADELE is a versatile system architecture graphical editor based on AADL. | |
| Activity Percentile: 73.33 Activity Ranking: 9.00 Registered: 2007-06-26 17:51 | |
| 4. UML To Java - Convert UML into Java Code.
This project should be able to convert UML class diagrams into Java skeletons and to convert UML states machines into Java code as well. | |
| Activity Percentile: 56.67 Activity Ranking: 14.00 Registered: 2007-05-15 11:39 | |
| 5. Tina Bridges - The goal of this project is to provide bridges to verify meta-models in the TINA verification tool. | |
| Activity Percentile: 50.00 Activity Ranking: 16.00 Registered: 2007-02-27 11:35 | |
| 6. FIACRE - This project aims to develop and maintain the FIACRE meta-model and its toolbox. FIACRE is a common behavioural language simplifying the connection of modelling tools to verification tools. | |
| Activity Percentile: 36.67 Activity Ranking: 20.00 Registered: 2007-09-10 11:39 | |
| 7. TOPCASED-EAST-ADL - Editor for the EAST-ADL language. | |
| Activity Percentile: 30.00 Activity Ranking: 22.00 Registered: 2006-06-14 13:30 | |
| 8. TOPCASED-AADL - TOPCASED-AADL is a subproject of the TOPCASED project. This subproject provides a set of modeling, transforming and verifying tools around AADL (Architecture Analysis and Design Language). | |
| Activity Percentile: 20.00 Activity Ranking: 25.00 Registered: 2006-03-29 11:19 | |
| 9. Tramway - This project aims at developping a toolkit for managing requirements. | |
| Activity Percentile: 13.33 Activity Ranking: 27.00 Registered: 2006-12-15 15:51 | |
| 10. OBP - Observer-based prover is a model-checker based on observers and context descriptions. OBP can handle accessibility, safety and bounded liveness properties. Observers and models are described with IF2, context with CDL (Context Description Language). | |
| Activity Percentile: 0.00 Activity Ranking: 0.00 Registered: 2007-07-02 15:55 | |
| 11. TOPPROCESS - Specification and development of an editor for the OMG SPEM modeling language.
“topPROCESS” est le projet de TOPCASED dédié à l’amélioration et la maîtrise des processus de développement logiciel. | |
|
Activity Percentile: 0.00 Activity Ranking: 0.00 Registered: 2006-02-17 09:42 |
| 12. UML To C - Convert UML to C language code.
This project should be able to convert UML class diagrams into C language header and implementation files skeletons. | |
| Activity Percentile: 0.00 Activity Ranking: 0.00 Registered: 2007-05-28 18:12 | |
| 13. TOPCASED-ET - TOPCASED-ET: External Tools
This project aims at defining generic solutions for establishing communication links between TOPCASED and external tools like Stood and Cheddar. | |
| Activity Percentile: 0.00 Activity Ranking: 0.00 Registered: 2006-07-27 10:35 | |
| 14. OSATE-BA - This project aims to provide an OSATE extension for the behavioural annex of AADL. | |
| Activity Percentile: 0.00 Activity Ranking: 0.00 Registered: 2006-07-24 13:49 | |
| 15. UML To Python - Convert UML into Python Code.
This project should be able to convert UML class diagrams into Python skeletons. | |
| Activity Percentile: 0.00 Activity Ranking: 0.00 Registered: 2007-05-15 11:42 | |
| 16. Model To Doc - This project will provide a basic process for generating documentation (using many output formats such as HTML, PDF, ...) from an EMF model. | |
| Activity Percentile: 0.00 Activity Ranking: 0.00 Registered: 2007-06-13 16:14 | |
