Vol. 15 (2008): OCL Concepts and Tools 2008

DOI: https://doi.org/10.14279/tuj.eceasst.15

Published: 2009-03-02

Articles

Executing Underspecified OCL Operation Contracts with a SAT Solver

Matthias Krieger, Alexander Knapp
- PDF
Deriving OCL Optimization Patterns from Benchmarks

Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García-Molina, Jean Bézivin
- PDF
Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL

Fabian Büttner, Mirco Kuhlmann
- PDF
An Incremental OCL Compiler for Modeling Environments

Tamas Vajk, Gergely Mezei, Tihamer Levendovszky
- PDF
Implementing Advanced RBAC Administration Functionality with USE

Tanveer Mustafa, Karsten Sohr, Duc-Hanh Dang, Michael Drouineaud, Stefan Kowski
- PDF
How My Favorite Tool Supporting OCL Must Look Like

Dan Chiorean, Vladiela Petrascu, Dragos Petrascu
- PDF
Building an Efficient Component for OCL Evaluation

Manuel Clavel, Egea Marina, Garcia de Dios Miguel Angel
- PDF
Observations for Assertion-based Scenarios in the context of Model Validation

Emine Aydal, Richard Paige, Jim Woodstock
- PDF
Static Source Code Analysis using OCL

Mirko Seifert, Roland Samlaus
- PDF

Preface

Preface to the Proceedings of the 2008 OCL Workshop

Jordi Cabot, Martin Gogolla, Pieter van Gorp
- PDF