fmp2rsmVerifier: Verifying Model Templates Against OCL Constraints Plug-in ›

Version History

Version: 0.1.1



  • well-formedness rules checking

  • OCL as a language for rules definition.

  • Rules stored in xml file

In our lab, people rarely work alone - we collaborate a lot with each other as well as with external researchers and our industry partners.

Michal Antkiewicz

This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.

Jesús Alejandro Padilla Gaeta