From informal to formal modeling
We propose an iterative modeling approach where designers can dynamically customize the level of formality required in each iteration in a visual and intuitive way
We propose an iterative modeling approach where designers can dynamically customize the level of formality required in each iteration in a visual and intuitive way
Validate efficiently large models using OCL rewriting techniques and optimized database query generation using the Mogwaï tool.
Recent Comments