- Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp:
Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009.
- Peter Killisperger, Markus Stumptner, Georg Peters, Thomas Stückl:
Specifying OCL Constraints on Process Instantiations.
- Tony Clark:
A MOP Based DSL for Testing Java Programs using OCL.
- Christian Hein, Marcus Engelhardt, Tom Ritter, Michael Wagner:
Generation of Formal Model Metrics for MOF based Domain Specific Languages.
- Manuel Clavel, Marina Egea, Miguel Angel García de Dios:
Checking Unsatisfiability for OCL Constraints.
- Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth, Darius Silingas, Nicolas F. Rouquette:
Requirements Analysis for an Integrated OCL Development Environment.
- Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam:
OCL contracts for the verification of model transformations.
- Jens Brüning, Andreas Wolff:
Declarative Models for Business Processes and UI Generation using OCL.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.