Tools under development & prototypes
Up one levelThis Folder contains web pages relative to tools that are under development and some prototypes.
-
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