|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 68 publication records. Showing 68 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Edward D. Willink |
OCL Visualization - A Reality Check.  |
OCL@MoDELS  |
2019 |
DBLP BibTeX RDF |
|
| 1 | Patrick Neubauer, Robert Bill, Dimitris S. Kolovos, Richard F. Paige, Manuel Wimmer |
Reusable Textual Notations for Domain-Specific Languages. |
OCL@MoDELS |
2019 |
DBLP BibTeX RDF |
|
| 1 | Achim D. Brucker, Gwendal Daniel, Frédéric Jouault (eds.) |
19th International Workshop in OCL and Textual Modeling (OCL 2019) co-located with IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), Munich, Germany, September 16, 2019. |
OCL@MoDELS |
2019 |
DBLP BibTeX RDF |
|
| 1 | Robert Clarisó, Martin Gogolla |
A Feasibility Study on Using Classifying Terms in Alloy. |
OCL@MoDELS |
2019 |
DBLP BibTeX RDF |
|
| 1 | Paula Muñoz 0001, Loli Burgueño, Martin Gogolla, Antonio Vallecillo |
Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams. |
OCL@MoDELS |
2019 |
DBLP BibTeX RDF |
|
| 1 | Manuel Clavel, Hoang Nguyen Phuoc Bao |
Mapping OCL into SQL: Challenges and Opportunities Ahead. |
OCL@MoDELS |
2019 |
DBLP BibTeX RDF |
|
| 1 | Daniel Calegari, Marcos Viera |
Experimenting with Functional Features of the Object Constraint Language. |
OCL@MoDELS |
2019 |
DBLP BibTeX RDF |
|
| 1 | Victor Ortiz, Loli Burgueño, Antonio Vallecillo, Martin Gogolla |
Native Support for UML and OCL Primitive Datatypes Enriched with Uncertainty in USE. |
OCL@MoDELS |
2019 |
DBLP BibTeX RDF |
|
| 1 | Achim D. Brucker, Gwendal Daniel, Martin Gogolla, Frédéric Jouault, Christophe Ponsard, Valéry Ramon, Edward D. Willink |
Emerging Topics in Textual Modelling. |
OCL@MoDELS |
2019 |
DBLP BibTeX RDF |
|
| 1 | Horacio Hoyos Rodriguez, Dimitrios S. Kolovos |
Declarative Model Transformation Execution Planning. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Lars Hamann, Martin Gogolla, Nisha Desai 0001 |
On the Support of Qualified Associations in OCL. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sánchez-Barbudo Herrera, Frank Hilken, Frédéric Tuong, Edward D. Willink, Burkhart Wolff |
Recent Developments in OCL and Textual Modelling. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Antonio García-Domínguez, Dimitris S. Kolovos |
Models from Code, or Code as Models? |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Jouault, Olivier Beaudoux |
Efficient OCL-based Incremental Transformations. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Daniel Calegari, Marcos Viera |
On the Functional Interpretation of OCL. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Peiyuan Sun, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki 0001 |
Modeling and Reasoning with Multirelations, and their encoding in Alloy. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Achim D. Brucker, Jordi Cabot, Adolfo Sánchez-Barbudo Herrera (eds.) |
Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 2, 2016. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Sina Madani, Dimitris S. Kolovos |
Re-Implementing Apache Thrift using Model-Driven Engineering Technologies: An Experience Report. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Frank Hilken, Marcel Schuster, Karsten Sohr, Martin Gogolla |
Integrating UML/OCL Derived Properties into Validation and Verification Processes. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer |
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Vincent Bertram, Alexander Roth 0004, Bernhard Rumpe, Michael von Wenckstern |
Extendable Toolchain for Automatic Compatibility Checks. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Vincent Bertram, Bernhard Rumpe, Michael von Wenckstern |
Encapsulation, Operator Overloading, and Error Class Mechanisms in OCL. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong (eds.) |
Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Edward D. Willink |
Safe Navigation in OCL. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Ed Seidewitz, Jérémie Tatibouet |
Tool Paper: Combining Alf and UML in Modeling Tools - An Example with Papyrus -. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton |
Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Timo Kehrer, Christopher Pietsch, Udo Kelter, Daniel Strüber 0001, Steffen Vaupel |
An Adaptable Tool Environment for High-level Differencing of Textual Models. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Jouault, Olivier Beaudoux |
On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Adolfo Sánchez-Barbudo Herrera, Edward D. Willink, Richard F. Paige |
An OCL-based Bridge from Concrete to Abstract Syntax. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Colin Atkinson 0001, Ralph Gerbig, Thomas Kühne 0001 |
Opportunities and Challenges for Deep Constraint Languages. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Massimo Tisi, Rémi Douence, Dennis Wagelaar |
Lazy Evaluation for OCL. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Jesús Sánchez Cuadrado |
Recursion and Iteration Support in USE Validator with AnATLyzer. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Ahmed 0005, Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau |
CdmCL, a Specific Textual Constraint Language for Common Data Model. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Xabier De Carlos, Goiuria Sagardui, Salvador Trujillo |
MQT, an Approach for Run-Time Query Translation: From EOL to SQL. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Gergely Dévai, Gábor Ferenc Kovács, Ádám An |
Textual, Executable, Translatable UML. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Achim D. Brucker, Tony Clark 0001, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff |
Panel Discussion: Proposals for Improving OCL. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Xavier Oriol, Ernest Teniente |
Incremental Checking of OCL Constraints through SQL Queries. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Alexander Kraas |
Realizing Model Simplifications with QVT Operational Mappings. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Delphine Longuet, Frédéric Tuong, Burkhart Wolff |
Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Achim D. Brucker, Carolina Dania, Geri Georg, Martin Gogolla (eds.) |
Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 30, 2014. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Jouault, Jérôme Delatour |
Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded Systems. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Marcos Arjona, Carolina Dania, Marina Egea, Antonio Maña |
Validation of a Security Metamodel for the Development of Cloud Applications. |
OCL@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Valerio Cosentino, Salvador Martínez Perez |
Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Thorsten Arendt, Gabriele Taentzer, Alexander Weber 0009 |
Quality Assurance of Textual Models within Eclipse using OCL and Model Transformations. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl |
OCL meets CTL: Towards CTL-Extended OCL Model Checking. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Bastian Ulke, Friedrich Steimann |
OCL as a Constraint Generation Language. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Achim D. Brucker, Dan Chiorean, Tony Clark 0001, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff |
Report on the Aachen OCL Meeting. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff |
On the Semantics of Object-Oriented Data Structures and Path Expressions. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Geri Georg, Lucy J. Troup |
Experiences Developing a Requirements Language Based on the Psychological Framework Activity Theory. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Jordi Cabot, Martin Gogolla, István Ráth, Edward D. Willink (eds.) |
Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 30, 2013. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Tony Clark 0001 |
OCL Pattern Matching. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Lars Schütze, Claas Wilke, Birgit Demuth |
Tool-Supported Step-By-Step Debugging for the Object Constraint Language. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Carolina Dania, Manuel Clavel |
OCL2FOL+: Coping with Undefinedness. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Harald Störrle |
Improving the Usability of OCL as an Ad-hoc Model Querying Language. |
OCL@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Arnaud Dieumegard, Andres Toom, Marc Pantel |
Model-based formal specification of a DSL library for a qualified code generator. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth 0001, István Ráth, Dániel Varró |
Ontology driven design of EMF metamodels and well-formedness constraints. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke (eds.) |
Proceedings of the 12th Workshop on OCL and Textual Modelling, Innsbruck, Austria, September 30, 2012 |
OCL@MoDELS |
2012 |
DBLP BibTeX RDF |
|
| 1 | Filip Krikava, Philippe Collet |
On the use of an internal DSL for enriching EMF models. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Brüning, Martin Kunert, Birger Lantow |
Modeling and executing ConcurTaskTrees using a UML and SOIL-based metamodel. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Renars Liepins |
Library for model querying: IQuery. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garry, Tricia Balfe |
Experiences using OCL for business rules on financial messaging. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward D. Willink |
An extensible OCL virtual machine and code generator. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Hofrichter, Lars Hamann, Martin Gogolla, Frank Steimke |
The secret life of OCL constraints. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Burkhart Wolff |
Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet |
Transformation rules from UML4MBT meta-model to SMT meta-model for model animation. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Reimann 0002, Claas Wilke, Birgit Demuth, Michael Muck, Uwe Aßmann |
Tool supported OCL refactoring catalogue. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel A. Francisco, Laura M. Castro |
Automatic generation of test models and properties from UML models with OCL constraints. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke |
Workshop on OCL and textual modeling: OCL 2012. |
OCL@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #68 of 68 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license