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>
| AADL2Fiacre - This project deals with the translation of AADL models into Fiacre models to perform subsequent verifications. | |
Register Date: 2007-07-24 09:20 | |
| Abstract User Interface - TOPCASED Abstract User Interface is a TOPCASED modelling editor based that allows desiging user interfaces without knowing the target technology (Swing, HTML, ...). The metamodel comes from usiXML : http://www.usixml.org/index.php?mod=pages&id=47 | |
Register Date: 2009-07-16 17:04 | |
| ADELE - ADELE is a versatile system architecture graphical editor based on AADL. | |
Register Date: 2007-06-26 17:51 | |
| ADeS - AADL simulator - ADeS is a simulator of the behavior of systems described with AADL. It should eventually support the last version of AADL and the behavior annex. | |
Register Date: 2007-11-06 14:26 | |
| C Binary Chain - This project aims at developping an Eclipse plugin for a complete C to Binary development chain for embedded software. | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2007-11-20 18:58 |
| Cercle Genie Logiciel - Le "Club Génie Logiciel Toulousain" a pour vocation de constituer un lieu de rencontre, au travers de présentations et débats (4 réunions par an en moyenne), pour les différents acteurs du monde du Génie Logiciel en région Toulousaine. | |
Register Date: 2007-03-01 17:09 | |
| C To UML - This project will provide facilities to build a UML model from C code. | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2010-04-09 14:56 |
| Doc to Model - This project allows users to import into a model some elements from a document. Document can be based on OpenXml (Office07) or OpenDocument (Open Office). | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2008-11-17 11:50 |
| FCDT - FCDT (Frama-C Development Tools) aims to provide useful utilities to help the use of Frama-C features through the Eclipse CDT Environment. | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2010-12-17 11:36 |
| 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. | |
Register Date: 2007-09-10 11:39 | |
| Fiacre Compilers - Compilers from the Fiacre asynchronous intermediate behavioral model to Tina and CADP tool kits. | |
Register Date: 2007-11-26 10:09 | |
| Gendoc - This project creates a gateway between project "Doc 2 Model" and "Model 2 Doc" to allows users to create a documentation based on model generation from a document template. | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2008-11-17 11:43 |
| Gene-Auto - Gene-Auto is an open-sourse toolset for converting Simulink, Stateflow and Scicos models to executable prgram code. Output to C is currently available, Ada output is under development. The toolset development conforms with DO-178B/ED-12B standards. | |
| Register Date: 2006-03-20 18:56 |
| gforge - Administration de la plateforme de développement | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2004-09-21 10:30 |
| GForge-N7 - An improved version of the GForge project, made by Sogeti High Tech for the TOPCASED project. | |
| Register Date: 2005-11-28 09:29 |
| GNATbench - GNATbench provides an Ada plug-in for TOPCASED. | |
| Register Date: 2007-11-07 18:08 |
| gPM - Specification and development of a meta-tool for generic Process Management (sheets and products). | |
Register Date: 2007-04-04 11:26 | |
| GPO - GPO : vérification formelle de procédure opérationnelle | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2013-01-16 15:25 |
| Groupe Enseignement DAS SE - Le DAS Systèmes Embarqués du pôle Aerospace Valley, dans le cadre de sa stratégie moyen terme, souhaite engager une réflexion de fond sur l'offre de formation régionale dans le domaine des systèmes embarqués. | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2011-05-12 10:41 |
| Java To UML - This project will contain the import process from Java code to a UML model. | |
Register Date: 2006-03-17 17:33 | |
92 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4> <5>
