OCL

ECOOP 2006 - Object-Oriented Programming: 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings (Lecture Notes in Computer Science)

ECOOP 2006 (2006 Nantes, France), Dave Thomas, Dave Thomas

ECOOP 2005 - Object-Oriented Programming: 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings (Lecture Notes in Computer Science)

Andrew Black

Conceptual Modeling of Information Systems

Antoni Olivé

Metainformatics: International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science)

Uffe Kock Wiil

Object Modeling with the OCL: The Rationale behind the Object Constraint Language (Lecture Notes in Computer Science)

Jos B. Warmer

Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software

Reinhold Ploesch

Model Driven Engineering Languages and Systems: 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings (Lecture Notes in Computer Science)

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications: 6th International Conference San Francisco, CA, USA, October 20-24, 2003, ... (Lecture Notes in Computer Science)

FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings (Lecture Notes in Computer Science)

Lars-Henrik Eriksson

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)

Bernhard Beckert