


default search action
OCL@MoDELS 2012: Innsbruck, Austria
- Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke:

Proceedings of the 12th Workshop on OCL and Textual Modelling, Innsbruck, Austria, September 30, 2012. ACM 2012, ISBN 978-1-4503-1799-3 - Mira Balaban, Jordi Cabot

, Martin Gogolla, Claas Wilke:
Workshop on OCL and textual modeling: OCL 2012. 5-6 - Jan Reimann

, Claas Wilke, Birgit Demuth, Michael Muck, Uwe Aßmann
:
Tool supported OCL refactoring catalogue. 7-12 - Edward D. Willink:

An extensible OCL virtual machine and code generator. 13-18 - Achim D. Brucker

, Burkhart Wolff:
Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL. 19-24 - Filip Krikava

, Philippe Collet:
On the use of an internal DSL for enriching EMF models. 25-30 - Renars Liepins:

Library for model querying: IQuery. 31-36 - Benedek Izsó, Zoltán Szatmári, Gábor Bergmann

, Ákos Horváth, István Ráth
, Dániel Varró
:
Ontology driven design of EMF metamodels and well-formedness constraints. 37-42 - Jens Brüning, Martin Kunert, Birger Lantow

:
Modeling and executing ConcurTaskTrees using a UML and SOIL-based metamodel. 43-48 - Miguel A. Francisco, Laura M. Castro

:
Automatic generation of test models and properties from UML models with OCL constraints. 49-54 - Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet:

Transformation rules from UML4MBT meta-model to SMT meta-model for model animation. 55-60 - Arnaud Dieumegard, Andres Toom, Marc Pantel:

Model-based formal specification of a DSL library for a qualified code generator. 61-62 - Oliver Hofrichter, Lars Hamann

, Martin Gogolla, Frank Steimke:
The secret life of OCL constraints. 63-64 - David Garry, Tricia Balfe:

Experiences using OCL for business rules on financial messaging. 65-66

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID













