Author of the publication

Contracts for Model Execution Verification.

, , , and . ECMFA, volume 6698 of Lecture Notes in Computer Science, page 3-18. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Adaptation d'exécution de modèles par contrats., , , , and . Tech. Sci. Informatiques, 34 (6): 703-730 (2015)The Specification of UML Collaborations as Interaction Components., and . UML, volume 2460 of Lecture Notes in Computer Science, page 352-367. Springer, (2002)On the Executable Nature of Models., , and . EXE@MoDELS, volume 1760 of CEUR Workshop Proceedings, page 44-46. CEUR-WS.org, (2016)A software development process based on UML state machines., , , and . ICAASE, page 1-8. IEEE, (2020)Inductive UML., and . MEDI, volume 7602 of Lecture Notes in Computer Science, page 153-161. Springer, (2012)Service-oriented Integration of Component and Agent Models., , , and . ICSOFT (1), page 327-336. SciTePress, (2011)Semantic mappings between service, component and agent models., , , and . CBSE, page 29-34. ACM, (2012)Model execution adaptation?, , and . Models@run.time, page 60-65. ACM, (2012)Executable Modeling for Reactive Programming., and . MODELSWARD (Revised Selected Papers), volume 991 of Communications in Computer and Information Science, page 1-8. Springer, (2018)Specification of Communication Components in UML., and . PDPTA, CSREA Press, (2000)