Abstract is missing.
- On the Support of Qualified Associations in OCLLars Hamann, Martin Gogolla, Nisha Desai. 3-15 [doi]
- Encapsulation, Operator Overloading, and Error Class Mechanisms in OCLVincent Bertram, Bernhard Rumpe, Michael von Wenckstern. 17-32 [doi]
- On the Functional Interpretation of OCLDaniel Calegari, Marcos Viera. 33-48 [doi]
- Extendable Toolchain for Automatic Compatibility ChecksVincent Bertram, Alexander Roth 0004, Bernhard Rumpe, Michael von Wenckstern. 49-56 [doi]
- A Comparison of Textual Modeling Languages: OCL, Alloy, FOMLMira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer. 57-72 [doi]
- Modeling and Reasoning with Multirelations, and their encoding in AlloyPeiyuan Sun, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki. 73-88 [doi]
- Integrating UML/OCL Derived Properties into Validation and Verification ProcessesFrank Hilken, Marcel Schuster, Karsten Sohr, Martin Gogolla. 89-104 [doi]
- Declarative Model Transformation Execution PlanningHoracio Hoyos Rodriguez, Dimitrios S. Kolovos. 105-120 [doi]
- Efficient OCL-based Incremental TransformationsFrédéric Jouault, Olivier Beaudoux. 121-136 [doi]
- Models from Code, or Code as Models?Antonio García-Domínguez, Dimitris S. Kolovos. 137-148 [doi]
- Re-Implementing Apache Thrift using Model-Driven Engineering Technologies: An Experience ReportSina Madani, Dimitris S. Kolovos. 149-156 [doi]
- Recent Developments in OCL and Textual ModellingAchim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sánchez-Barbudo Herrera, Frank Hilken, Frédéric Tuong, Edward D. Willink, Burkhart Wolff. 157-165 [doi]