


default search action
OCL@MoDELS 2013: Miami, FL, USA
- Jordi Cabot, Martin Gogolla, István Ráth, Edward D. Willink:

Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 30, 2013. CEUR Workshop Proceedings 1092, CEUR-WS.org 2013 - Thorsten Arendt, Gabriele Taentzer, Alexander Weber:

Quality Assurance of Textual Models within Eclipse using OCL and Model Transformations. 1-12 - Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl:

OCL meets CTL: Towards CTL-Extended OCL Model Checking. 13-22 - Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff:

On the Semantics of Object-Oriented Data Structures and Path Expressions. 23-32 - Tony Clark:

OCL Pattern Matching. 33-42 - Valerio Cosentino, Salvador Martínez Perez:

Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases. 43-52 - Carolina Dania, Manuel Clavel:

OCL2FOL+: Coping with Undefinedness. 53-62 - Geri Georg, Lucy J. Troup:

Experiences Developing a Requirements Language Based on the Psychological Framework Activity Theory. 63-72 - Lars Schütze, Claas Wilke, Birgit Demuth:

Tool-Supported Step-By-Step Debugging for the Object Constraint Language. 73-82 - Harald Störrle:

Improving the Usability of OCL as an Ad-hoc Model Querying Language. 83-92 - Bastian Ulke, Friedrich Steimann:

OCL as a Constraint Generation Language. 93-102 - Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff:

Report on the Aachen OCL Meeting. 103-111

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID













