-
Temporal Constraint Support for OCL
International audience -
Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE app...
This report presents some of the results of the first year of Danse, one of the first EU IP projects dedicated to System of Systems. Concretely, we offer a tool chain... -
Automating Inference of OCL Business Rules from User Scenarios
International audience -
Formal Verification of Static Software Models in MDE: A Systematic Review
International audience -
On the Verification of UML/OCL Class Diagrams using Constraint Programming
International audience -
Derivation Schemes from OCL Expressions to B
Rapport interne. -
An approach for the verification of UML models using B
Rapport interne.
