English
En developpement et prototypes
Niveau supérieurCe sont les logiciels qui ne sont pas encore tout à fait mature, c'est à dire les prototypes et les logiciels en cours de développement.
Note : il se peut que certains prototypes ne soient pas listés dans la version Française du site, merci de consulter la version anglaise qui est généralement plus à jour.
-
Kompren
- The Kompren language models and generates model slicers for any DSL and for different purposes. See on the new Kompren webpage for more information and files.
-
UCTSystem
-
EMF-AR
-
Requirements to Analysis
- The requirements to analysis model-driven platform
-
Implicit Control Flows Reverse Engineering
- Reversing Implicit Control Flows in UML 2.0 Sequence Diagrams
-
Time Tools
-
Metamodel Coverage Checker
-
Vidock
- A tool that evaluates the impact of AspectJ on test cases.
-
AdviceTracer
- A tool for testing pointcut descriptors.
-
Kompose project
- Generic model composition tool
-
AjMutator
- A mutation tool for AspectJ pointcut descriptors
-
Empirical Study on the Conjunct Usage of MOF and OCL
-
SysML to B translator - V&V for Systems Engineering
- Proprietary tool based on an alignment of SysML with the B Method
-
UCTSystem
- Génération de tests à partir de l'expression des besoins
-
Meta-model Pruning Tool
- This tool prunes an input meta-model to give an effective meta-model containing only required classes and properties. It removes all other classes and properties except the obligatory dependencies.
-
Product Generation Tool
- This tool can generate all T-wise that conform to a feature model representing a software product-line. Created by, Sagar Sen Gilles Perrouin Jacques Klein
-
Avishkar