default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElectronic 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 Gokce 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, Miguel Angel García de Dios:
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.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-06 01:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
