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