Abstract is missing.
- Quality Assurance of Textual Models within Eclipse using OCL and Model TransformationsThorsten Arendt, Gabriele Taentzer, Alexander Weber. 1-12 [doi]
- OCL meets CTL: Towards CTL-Extended OCL Model CheckingRobert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl. 13-22 [doi]
- On the Semantics of Object-Oriented Data Structures and Path ExpressionsAchim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff. 23-32 [doi]
- OCL Pattern MatchingTony Clark. 33-42 [doi]
- Extracting UML/OCL Integrity Constraints and Derived Types from Relational DatabasesValerio Cosentino, Salvador Martínez Perez. 43-52 [doi]
- OCL2FOL+: Coping with UndefinednessCarolina Dania, Manuel Clavel. 53-62 [doi]
- Experiences Developing a Requirements Language Based on the Psychological Framework Activity TheoryGeri Georg, Lucy Troup. 63-72 [doi]
- Tool-Supported Step-By-Step Debugging for the Object Constraint LanguageLars Schütze, Claas Wilke, Birgit Demuth. 73-82 [doi]
- Improving the Usability of OCL as an Ad-hoc Model Querying LanguageHarald Störrle. 83-92 [doi]
- OCL as a Constraint Generation LanguageBastian Ulke, Friedrich Steimann. 93-102 [doi]
- Report on the Aachen OCL MeetingAchim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff. 103-111 [doi]