Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier |
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings, pp. 129-136, 2015, Springer, 978-3-319-21214-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony, Ahmed Hadj Kacem |
Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD (revised selected papers) ![In: Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015 [revised selected papers from SNPD 2015, Takamatsu, Japan, June 1-3, 2015], pp. 213-226, 2015, Springer, 978-3-319-23508-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla, Frank Hilken |
UML and OCL Transformation Model Analysis: Checking Invariant Independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOLT@STAF ![In: Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), L'Aquila, Italy, July 23, 2015., pp. 20-27, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | Alberto Manuel Fernández Álvarez, Daniel Fernández Lanvin, Manuel Quintela-Pumares |
OCL for Rich Domain Models Implementation - An Incremental Aspect based Solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT-PT ![In: ICSOFT-PT 2015 - Proceedings of the 10th International Conference on Software Paradigm Trends, Colmar, Alsace, France, 20-22 July, 2015., pp. 121-129, 2015, SciTePress, 978-989-758-115-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui |
ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT-EA ![In: ICSOFT-EA 2015 - Proceedings of the 10th International Conference on Software Engineering and Applications, Colmar, Alsace, France, 20-22 July, 2015., pp. 45-52, 2015, SciTePress, 978-989-758-114-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Alberto Manuel Fernández Álvarez, Daniel Fernández Lanvin, Manuel Quintela-Pumares |
Invariant Implementation for Domain Models Applying Incremental OCL Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (Selected Papers) ![In: Software Technologies - 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers, pp. 137-154, 2015, Springer, 978-3-319-30141-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska 0001, Rolf Drechsler |
Checking concurrent behavior in UML/OCL models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015, pp. 176-185, 2015, IEEE Computer Society, 978-1-4673-6908-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Nils Przigoda, Judith Peters, Mathias Soeken, Robert Wille, Rolf Drechsler |
Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada, September 29, 2015., pp. 44-47, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer |
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 155-170, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Robert Clarisó, Carlos A. González, Jordi Cabot |
Towards Domain Refinement for UML/OCL Bounded Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings, pp. 108-114, 2015, Springer, 978-3-319-22968-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Muhammad Uzair Khan, Numra Arshad, Muhammad Zohaib Iqbal, Hafsa Umar |
AspectOCL: Extending OCL for Crosscutting Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 11th European Conference, ECMFA@STAF 2015, L'Aquila, Italy, July 20-24, 2015. Proceedings, pp. 92-107, 2015, Springer, 978-3-319-21150-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Lars Hamann |
On formalizing UML and OCL features and their employment to runtime verification. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
16 | Jakub Malý, Martin Necaský |
Evaluation of OCL Expressions over XML Data Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 20(3), pp. 329-365, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Yönet A. Eracar, Mieczyslaw M. Kokar |
Using UML and OCL for representing multiobjective combinatorial optimization problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Manuf. ![In: J. Intell. Manuf. 25(3), pp. 555-569, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1408.5698, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Cameron Wills |
The Amsterdam Manifesto on OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1409.6598, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Jordi Cabot, Robert Clarisó, Daniel Riera |
On the verification of UML/OCL class diagrams using constraint programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 93, pp. 1-23, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Harith T. Al-Jumaily, Dolores Cuadra, Paloma Martínez |
Applying black-box testing to UML/OCL database models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 22(2), pp. 153-184, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Bilal Kanso, Safouan Taha |
Specification of temporal properties with OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 96, pp. 527-551, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Fabian Büttner, Martin Gogolla |
On OCL-based imperative languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 92, pp. 162-178, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Asadullah Shaikh, Uffe Kock Wiil |
A feedback technique for unsatisfiable UML/OCL class diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 44(11), pp. 1379-1393, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Ali Hamie |
Pattern-based Mapping of OCL Specifications to JML Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014, pp. 193-200, 2014, SciTePress, 978-989-758-007-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Rayhana Baghli, Bruno Traverson |
Verbalization of Business Rules - Application to OCL Constraints in the Utility Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014, pp. 348-355, 2014, SciTePress, 978-989-758-007-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Ali Hamie |
Using Patterns to Map OCL Constraints to JML Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD (Revised Selected Papers) ![In: Model-Driven Engineering and Software Development - Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers, pp. 35-48, 2014, Springer, 978-3-319-25155-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl |
Model Checking of CTL-Extended OCL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings, pp. 221-240, 2014, Springer, 978-3-319-11244-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Shaukat Ali 0001, Tao Yue 0002 |
Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, pp. 17-31, 2014, Springer, 978-3-662-44856-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Lars Hamann, Martin Gogolla, Oliver Hofrichter |
Zur Integration von Struktur- und Verhaltensmodellierung mit OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Germany, pp. 75-76, 2014, GI, 978-388579-621-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Frank Hilken, Lars Hamann, Martin Gogolla |
Transformation of UML and OCL Models into Filmstrip Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT ![In: Theory and Practice of Model Transformations - 7th International Conference, ICMT@STAF 2014, York, UK, July 21-22, 2014. Proceedings, pp. 170-185, 2014, Springer, 978-3-319-08788-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Xavier Oriol, Ernest Teniente, Albert Tort |
Fixing Up Non-executable Operations in UML/OCL Conceptual Schemas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014. Proceedings, pp. 232-245, 2014, Springer, 978-3-319-12205-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Elizabeta Fourneret, Jérôme Cantenot, Fabrice Bouquet, Bruno Legeard, Julien Botella |
SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERE ![In: Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, California, USA, June 30 - July 2, 2014, pp. 147-156, 2014, IEEE, 978-1-4799-4296-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Shaukat Ali 0001, Tao Yue 0002, Muhammad Zohaib Iqbal, Rajwinder Kaur Panesar-Walawege |
Insights on the Use of OCL in Diverse Industrial Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings, pp. 223-238, 2014, Springer, 978-3-319-11742-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Shaukat Ali 0001, Muhammad Zohaib Iqbal, Andrea Arcuri |
Improved heuristics for solving OCL constraints using search algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO '14, Vancouver, BC, Canada, July 12-16, 2014, pp. 1231-1238, 2014, ACM, 978-1-4503-2662-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Christoph Hilken, Julia Seiter 0002, Robert Wille, Ulrich Kühne, Rolf Drechsler |
Verifying consistency between activity diagrams and their corresponding OCL contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014, pp. 1-7, 2014, IEEE, 978-2-9530504-9-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Frank Hilken, Philipp Niemann 0001, Martin Gogolla, Robert Wille |
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 8th International Conference, TAP@STAF 2014, York, UK, July 24-25, 2014. Proceedings, pp. 99-116, 2014, Springer, 978-3-319-09098-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla, Lars Hamann, Frank Hilken |
Checking Transformation Model Properties with a UML and OCL Model Validator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOLT@STAF ![In: Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014., pp. 16-25, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Sebastian Gabmeyer, Robert Bill, Petra Kaufmann, Martina Seidl |
MocOCL: A Model Checker for CTL-Extended OCL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOLT@STAF ![In: Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014., pp. 10-15, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Ricardo J. Rodríguez, Elena Gómez-Martínez |
Model-Based Safety Assessment Using OCL and Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 40th EUROMICRO Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2014, Verona, Italy, August 27-29, 2014, pp. 56-59, 2014, IEEE Computer Society, 978-1-4799-5795-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Gábor Bergmann |
Translating OCL to Graph Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings, pp. 670-686, 2014, Springer, 978-3-319-11652-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla, Lars Hamann, Frank Hilken |
On Static and Dynamic Analysis of UML and OCL Transformation Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMT@MoDELS ![In: Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014., pp. 24-33, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Frank Hilken, Philipp Niemann 0001, Robert Wille, Martin Gogolla |
Towards a Base Model for UML and OCL Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation co-located with 17th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MODELS 2014, Valencia, Spain, September 30, 2014., pp. 59-68, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Angelika Kusel, Juergen Etzlstorfer, Elisabeth Kapsammer, Philip Langer, Werner Retschitzegger, Johannes Schoenboeck, Wieland Schwinger, Manuel Wimmer |
A Systematic Taxonomy of Metamodel Evolution Impacts on OCL Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ME@MoDELS ![In: Proceedings of the Workshop on Models and Evolution co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, Sept 28, 2014., pp. 2-11, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier |
Modeling Behavior with Interaction Diagrams in a UML and OCL Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BM-FA (Revised Selected Papers) ![In: Behavior Modeling - Foundations and Applications, International Workshops, BM-FA 2009-2014, Revised Selected Papers, pp. 31-58, 2014, Springer, 978-3-319-21911-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, Quang Dung Nguyen |
Behavior Modeling with Interaction Diagrams in a UML and OCL Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BM-FA ![In: Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations and Applications, BM-FA 2014, York, United Kingdom, July 22-22, 2014, pp. 4, 2014, ACM, 978-1-4503-2791-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Enrico Franconi, Alessandro Mosca 0001, Xavier Oriol, Guillem Rull, Ernest Teniente |
Logic Foundations of the OCL Modelling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 657-664, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Miloud Bennama, Thouraya Bouabana-Tebibel |
Mapping OCL Constraints into CTL-like Logic and SML for UML Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Bejaïa, Algeria, September 29-30, 2014., pp. 102-112, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Duc-Hanh Dang, Jordi Cabot |
On Automating Inference of OCL Constraints from Counterexamples and Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSE ![In: Knowledge and Systems Engineering - Proceedings of the Sixth International Conference KSE 2014, Hanoi, Vietnam, 9-11 October 2014, pp. 219-231, 2014, Springer, 978-3-319-11679-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Imen Sayar, Mohamed Tahar Bhiri |
From an abstract specification in event-b toward an UML/OCL model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014, pp. 17-23, 2014, ACM, 978-1-4503-2853-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee |
OCL usability: a major challenge in adopting UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE ![In: 3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2014, Hyderabad, India, June 3, 2014, pp. 32-37, 2014, ACM, 978-1-4503-2846-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Thorsten Arendt, Annegret Habel, Hendrik Radke, Gabriele Taentzer |
From Core OCL Invariants to Nested Graph Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 97-112, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Wei Dou 0001, Domenico Bianculli, Lionel C. Briand |
OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 10th European Conference, ECMFA@STAF 2014, York, UK, July 21-25, 2014. Proceedings, pp. 51-66, 2014, Springer, 978-3-319-09194-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Imran Sarwar Bajwa |
A natural language processing approach to generate SBVR and OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
16 | Hector Miguel Chavez, Wuwei Shen |
Formalization of UML Composition in OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Innov. ![In: Int. J. Softw. Innov. 1(1), pp. 26-40, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Piotr Kosiuczenko |
Specification of invariability in OCL - Specifying invariable system parts and views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 12(2), pp. 415-434, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Mirco Kuhlmann, Karsten Sohr, Martin Gogolla |
Employing UML and OCL for designing and analysing role-based access control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 23(4), pp. 796-833, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | A. Jalila, D. Jeya Mala |
Empirical evidence on OCL formal specification-based metrics as a predictor of fault-proneness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 38(5), pp. 1-10, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Shaukat Ali 0001, Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand |
Generating Test Data from OCL Constraints with Search Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 39(10), pp. 1376-1402, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee |
SBVR vs OCL: A Comparative Analysis of Standards ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1304.7346, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Tamás Vajk, Gergely Mezei, Tihamer Levendovszky |
Incremental semantic analysis for OCL compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 9(3), pp. 147-162, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Gordana Rudic, Bojana Dimic Surla |
Using OCL in the Formal Specification of the Library Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 23(3), pp. 341-360, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Ali Hamie |
Visualizing OCL Constraint Patterns with VOCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19 - 21 February, 2013, pp. 129-134, 2013, SciTePress, 978-989-8565-42-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Macías López, Henrique Ferreiro, Miguel A. Francisco, Laura M. Castro |
Automatic Generation of Test Models for Web Services Using WSDL and OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings, pp. 483-490, 2013, Springer, 978-3-642-45004-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Mohamed Elshaarawy, Haitham S. Hamza, Ismail Abdel Hamid Taha |
Towards a Unified Framework for Measuring the Properties of Class Diagrams Augmented with OCL (S). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 25th International Conference on Software Engineering and Knowledge Engineering, Boston, MA, USA, June 27-29, 2013., pp. 479-482, 2013, Knowledge Systems Institute Graduate School. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Julia Seiter 0002, Robert Wille, Mathias Soeken, Rolf Drechsler |
Determining relevant model elements for the verification of UML/OCL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013, pp. 1189-1192, 2013, EDA Consortium San Jose, CA, USA / ACM DL, 978-1-4503-2153-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Shinji Kikuchi, Tetsuya Uchiumi, Shinya Kitajima, Yasuhide Matsumoto |
Configuration Policy Extraction for Parameter Settings in Cloud Infrastructure Using UML/OCL Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE CLOUD ![In: 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28 - July 3, 2013, pp. 67-74, 2013, IEEE Computer Society, 978-0-7695-5028-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Jakub Malý, Martin Necaský |
Semantic Document Adaptation with OCL Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC (1) ![In: 20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1, pp. 280-288, 2013, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Duc-Hanh Dang, Jordi Cabot |
Automating Inference of OCL Business Rules from User Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC (1) ![In: 20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1, pp. 156-163, 2013, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Hiroaki Shimba, Kentaro Hanada, Kozo Okano, Shinji Kusumoto |
Bidirectional Translation between OCL and JML for Round-Trip Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC (2) ![In: 20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 2, pp. 49-54, 2013, IEEE Computer Society, 978-1-4799-2143-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif |
Security requirements formalized with OCL in a model-driven approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDRE ![In: International Workshop on Model-Driven Requirements Engineering, MoDRE 2013, Rio de Janeiro, Brasil, July 15, 2013, pp. 65-73, 2013, IEEE Computer Society, 978-1-4799-0946-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Mathias Soeken, Robert Wille, Eugen Kuksa, Rolf Drechsler |
Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013., pp. 99-103, 2013, Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, 978-3-86009-147-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Martin Gogolla, Fabian Büttner, Jordi Cabot |
Initiating a Benchmark for UML and OCL Analysis Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest, Hungary, June 16-20, 2013. Proceedings, pp. 115-132, 2013, Springer, 978-3-642-38915-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis |
Using UML Profile and OCL to Impose Regulatory Requirements on Safety-Critical System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 14th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2013, Honolulu, Hawaii, USA, 1-3 July, 2013, pp. 356-361, 2013, IEEE Computer Society, 978-0-7695-5005-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Rosario Baena, Roberto Aragón, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora 0001 |
Quality Improvement in Data Models with SLFD-based OCL Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies, Reykjavík, Iceland, 29-31 July, 2013, pp. 563-569, 2013, SciTePress, 978-989-8565-68-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Oliver Hofrichter, Martin Gogolla, Karsten Sohr |
UML/OCL based Design and Analysis of Role-Based Access Control Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEMOC+AMINO@MoDELS ![In: Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29 - October 04, 2013., pp. 33-42, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Dimitrios S. Kolovos, Ran Wei, Konstantinos Barmpis |
An Approach for Efficient Querying of Large Relational Datasets with OCL based Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XM@MoDELS ![In: Proceedings of the Workshop on Extreme Modeling co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2013), Miami, Florida, USA, September 29, 2013., pp. 46-54, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Luis Reynoso, Marcelo Amaolo, Daniel Dolz, Claudio Vaucheret, Mabel Álvarez |
Increasing the Rigorousness of Measures Definition through a UML/OCL Model Based on the Briand et al.'s Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2013 - 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III, pp. 43-58, 2013, Springer, 978-3-642-39645-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Angélica Aparecida de Almeida Ribeiro, Sergio Murilo Stempliuc, Jugurta Lisboa Filho, Italo Lopes Oliveira |
Extending OCL to Specify and Validate Integrity Constraints in UML-GeoFrame Conceptual Data Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (2) ![In: ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems, Volume 2, Angers, France, 4-7 July, 2013, pp. 286-293, 2013, SciTePress, 978-989-8565-60-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Mirco Kuhlmann, Lars Hamann, Martin Gogolla, Fabian Büttner |
A benchmark for OCL engine accuracy, determinateness, and efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 11(2), pp. 165-182, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar |
Translating natural language constraints to OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. King Saud Univ. Comput. Inf. Sci. ![In: J. King Saud Univ. Comput. Inf. Sci. 24(2), pp. 117-128, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Anna Queralt, Ernest Teniente |
Verification and Validation of UML Conceptual Schemas with OCL Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 21(2), pp. 13:1-13:41, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Karsten Sohr, Mirco Kuhlmann, Martin Gogolla, Hongxin Hu, Gail-Joon Ahn |
Comprehensive two-level analysis of role-based delegation and revocation policies with UML and OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 54(12), pp. 1396-1417, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Diana Kalibatiene, Olegas Vasilecas |
Application of the Ontology Axioms for the Development of OCL Constraints from PAL Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatica ![In: Informatica 23(3), pp. 369-390, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Bilal Kanso, Safouan Taha |
Temporal Constraint Support for OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Software Language Engineering, 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers, pp. 83-103, 2012, Springer, 978-3-642-36088-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Sombat Chanvilai, Kozo Honda, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga |
Goal-oriented approach to creating class diagrams with OCL constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, pp. 1051-1056, 2012, ACM, 978-1-4503-0857-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jácome Cunha, João Paulo Fernandes, João Saraiva |
From relational ClassSheets to UML+OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, pp. 1151-1158, 2012, ACM, 978-1-4503-0857-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Robert Wille, Mathias Soeken, Rolf Drechsler |
Debugging of inconsistent UML/OCL models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012, pp. 1078-1083, 2012, IEEE, 978-1-4577-2145-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Mathias Soeken, Robert Wille, Rolf Drechsler |
Eliminating invariants in UML/OCL models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012, pp. 1142-1145, 2012, IEEE, 978-1-4577-2145-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Hector Miguel Chavez, Wuwei Shen |
Formalization of UML Composition in OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30 - June 1, 2012, pp. 675-680, 2012, IEEE Computer Society, 978-1-4673-1536-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Kamal Boulil, Sandro Bimonte, François Pinet |
Un cadre conceptuel basé sur UML et Spatial OCL la Défini-tion des contraintes d'intégrité dans les systèmes SOLAP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDA ![In: Actes des 8èmes journées francophones sur les Entrepôts de Données et l'Analyse en ligne, EDA 2012, Bordeaux, France, Juin 2012, pp. 42-56, 2012, Hermann. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Jakub Malý, Martin Necaský |
Describing and Verifying Integrity Constraints in XML Using OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2012 IEEE 19th International Conference on Web Services, Honolulu, HI, USA, June 24-29, 2012, pp. 657-658, 2012, IEEE Computer Society, 978-1-4673-2131-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Faten Atigui, Franck Ravat, Olivier Teste, Gilles Zurfluh |
Using OCL for Automatically Producing Multidimensional Models and ETL Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery - 14th International Conference, DaWaK 2012, Vienna, Austria, September 3-6, 2012. Proceedings, pp. 42-53, 2012, Springer, 978-3-642-32583-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Asadullah Shaikh, Uffe Kock Wiil |
UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), SIGSOFT/FSE'12, Cary, NC, USA - November 11 - 16, 2012, pp. 37, 2012, ACM, 978-1-4503-1614-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, Martin Gogolla |
Object Constraint Language (OCL): A Definitive Guide. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures, pp. 58-90, 2012, Springer, 978-3-642-30981-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jens Brüning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann |
Evaluating and Debugging OCL Expressions in UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@TOOLS ![In: Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings, pp. 156-162, 2012, Springer, 978-3-642-30472-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Shahin Shah, Lukás Chrpa, Peter Gregory, Thomas Leo McCluskey, Falilat Jimoh |
OCL Plus: Processes and Events in Object-Centred Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAIRS ![In: STAIRS 2012 - Proceedings of the Sixth Starting AI Researchers' Symposium, Montpellier, France, 27-28 August 2012, pp. 282-293, 2012, IOS Press, 978-1-61499-095-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Lars Hamann, Fabian Büttner, Mirco Kuhlmann, Martin Gogolla |
Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modellierung ![In: Modellierung 2012, 14.-16. März 2012, Bamberg, Deutschland, pp. 155-170, 2012, GI, 978-3-88579-295-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Lars Hamann, Martin Gogolla, Daniel Honsel |
Towards supporting multiple execution environments for UML/OCL models at runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models@run.time ![In: Proceedings of the 7th Workshop on Models@run.time, Innsbruck, Austria, October 02, 2012, pp. 46-51, 2012, ACM, 978-1-4503-1802-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Lars Hamann, Oliver Hofrichter, Martin Gogolla |
On Integrating Structure and Behavior Modeling with OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings, pp. 235-251, 2012, Springer, 978-3-642-33665-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Mirco Kuhlmann, Martin Gogolla |
From UML and OCL to Relational Logic and Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings, pp. 415-431, 2012, Springer, 978-3-642-33665-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Zdenek Rybola, Karel Richta |
Using OCL in Model Validation According to Stereotypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATESO ![In: Proceedings of the Dateso 2012 Annual International Workshop on DAtabases, TExts, Specifications and Objects, Zernov, Rovensko pod Troskami, Czech Republic, April 18, 2012, pp. 93-102, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar |
Semantic Analysis of English Specification of OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAIRS ![In: Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, Marco Island, Florida, USA, May 23-25, 2012, 2012, AAAI Press, 978-1-57735-558-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|