Electronic Communication of the European Association of Software Science and Technology, Volume 15

Volume 15: OCL Concepts and Tools 2008

• Jordi Cabot, Martin Gogolla, Pieter Van Gorp:
  Preface to the Proceedings of the 2008 OCL Workshop.
  

• Emine G. Aydal, Richard F. Paige, Jim Woodstock:
  Observations for Assertion-based Scenarios in the context of Model Validation.
  
• Fabian Büttner, Mirco Kuhlmann:
  Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL.
  
• Manuel Clavel, Marina Egea, Garcia de Dios Miguel Angel:
  ECEASST Building an Efficient Component for OCL Evaluation.
  
• Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, Jean Bézivin:
  Deriving OCL Optimization Patterns from Benchmarks.
  
• Dan Ioan Chiorean, Vladiela Petrascu, Dragos Petrascu:
  How My Favorite Tool Supporting OCL Must Look Like.
  
• Matthias P. Krieger, Alexander Knapp:
  Executing Underspecified OCL Operation Contracts with a SAT Solver.
  
• Tanveer Mustafa, Karsten Sohr, Duc-Hanh Dang, Michael Drouineaud, Stefan Kowski:
  Implementing Advanced RBAC Administration Functionality with USE.
  
• Mirko Seifert, Roland Samlaus:
  Static Source Code Analysis using OCL.
  
• Tamás Vajk, Gergely Mezei, Tihamer Levendovszky:
  An Incremental OCL Compiler for Modeling Environments.