Is it possible to apply model-based verification techniques on large systems? Before saying no way!, check this keynote talk by Lionel Briand
Combination of static analysis and constraint solving to improve the quality of model transformations. Implemented as an extension of the standard ATL IDE.
During the second half of 2011 and the first half of 2012, Jordi and myself (Carlos
UMLtoCSP helps you to check that your UML class diagrams (extended with OCL constraints) satisfy a
Next month, at the Int. Conf. on Model Transformation (ICMT), AtlanMod, in cooperation with ATOS Research
Our paper Lightweight String Reasoning in Model Finding by Fabian Büttner and myself has been accepted
(work presented at MDsec’12 co-authored with Salvador Martínez, Joaquin García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia and myself). Network security
Most domain models include a number of constraints which frequently deal with text data (e.g. checking