Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Lars Hamann, Oliver Hofrichter, Martin Gogolla |
OCL-Based Runtime Monitoring of Applications with Protocol State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings, pp. 384-399, 2012, Springer, 978-3-642-31490-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Mirco Kuhlmann, Martin Gogolla |
Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings, pp. 32-48, 2012, Springer, 978-3-642-31490-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Fabian Büttner, Jordi Cabot |
Lightweight String Reasoning for OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings, pp. 244-258, 2012, Springer, 978-3-642-31490-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Kentaro Hanada, Kozo Okano, Shinji Kusumoto, Kiyoyuki Miyazawa |
Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (2) ![In: ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June - 1 July, 2012, pp. 389-394, 2012, SciTePress, 978-989-8565-11-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Kamal Boulil, Sandro Bimonte, François Pinet |
A UML & Spatial OCL based Approach for Handling Quality Issues in SOLAP Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (1) ![In: ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 1, Wroclaw, Poland, 28 June - 1 July, 2012, pp. 99-104, 2012, SciTePress, 978-989-8565-10-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Kamal Boulil |
Une approche automatisée basée sur des contraintes d'intégrité définies en UML et OCL pour la vérification de la cohérence logique dans les systèmes SOLAP : Applications dans le domaine agri-environnemental. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
16 | Asadullah Shaikh, Uffe Kock Wiil, Nasrullah Memon |
Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Softw. Eng. ![In: Adv. Softw. Eng. 2011, pp. 370198:1-370198:18, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Andrei Arusoaie, Dorel Lucanu, Vlad Rusu |
Towards a K Semantics for OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K ![In: Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011., pp. 81-96, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Rodion Moiseev, Shinpei Hayashi, Motoshi Saeki |
Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 94-D(3), pp. 612-621, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | François Pinet, Myoung-Ah Kang, Kamal Boulil, Sandro Bimonte, Gil De Sousa, Catherine Roussey, Michel Schneider |
Using OCL to Model Constraints in Data Warehouses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Technol. Diffusion ![In: Int. J. Technol. Diffusion 2(3), pp. 36-46, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | R. K. Pandey |
Object constraint language (OCL): past, present and future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 36(1), pp. 1-4, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand |
Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 13(5), pp. 431-448, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Roldán, Francisco Durán 0001 |
Dynamic Validation of OCL Constraints with mOdCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth, Andreas Awenius, Dan Chiorean, Sebastien Gabel, Lars Hamann, Edward D. Willink |
OCL Tools Report based on the IDE4OCL Feature Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Matthias P. Krieger, Achim D. Brucker |
Extending OCL Operation Contracts with Objective Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Dan Ioan Chiorean, Ileana Ober, Vladiela Petrascu |
Avoiding OCL specification pitfalls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 52, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Edward D. Willink |
Modeling the OCL Standard Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Claas Wilke, Birgit Demuth |
UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 Superstructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff |
Preface (OCL 2011 Proceedings). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Edward D. Willink |
Aligning OCL with UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Axel Uhl, Thomas Goldschmidt, Manuel Holzleitner |
Using an OCL Impact Analysis Algorithm for View-Based Textual Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Lars Hamann, Martin Gogolla, Mirco Kuhlmann |
OCL-based Runtime Monitoring of JVM hosted Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Francisco Durán 0001, Martin Gogolla, Manuel Roldán |
Tracing Properties of UML and OCL Models with Maude ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMMSE ![In: Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, AMMSE 2011, Zurich, Switzerland, 30th June 2011., pp. 81-97, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Kamal Boulil, Sandro Bimonte, François Pinet |
Un modèle UML et des contraintes OCL pour les entrepôts de données spatiales. De la représentation conceptuelle à l'implémentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ingénierie des Systèmes d Inf. ![In: Ingénierie des Systèmes d Inf. 16(6), pp. 11-39, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Shoichiro Fujiwara, Kazuki Munakata, Yoshiharu Maeda, Asako Katayama, Tadahiro Uehara |
Test data generation for web application using a UML class diagram with OCL constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 7(4), pp. 275-282, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Dolores Cuadra, Harith T. Al-Jumaily, Elena Castro, Manuel Velasco 0001 |
An OCL-Based Approach to Derive Constraint Test Cases for Database Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 21(5), pp. 621-645, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla |
UML and OCL in Conceptual Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Conceptual Modeling ![In: Handbook of Conceptual Modeling - Theory, Practice, and Research Challenges, pp. 85-122, 2011, Springer, 978-3-642-15864-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Robert Tairas, Jordi Cabot |
Cloning in DSLs: Experiments with OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Software Language Engineering - 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers, pp. 60-76, 2011, Springer, 978-3-642-28829-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha |
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, pp. 32-47, 2011, Springer, 978-3-642-24579-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Kahina Hassam, Salah Sadou, Vincent Le Gloahec, Régis Fleurquin |
Assistance System for OCL Constraints Adaptation during Metamodel Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 15th European Conference on Software Maintenance and Reengineering, CSMR 2011, 1-4 March 2011, Oldenburg, Germany, pp. 151-160, 2011, IEEE Computer Society, 978-0-7695-4343-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Jane Saetent, Nattawut Vejkanchana, Suphamit Chittayasothorn |
A thin client application development using OCL and conceptual schema. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITST ![In: 6th International Conference for Internet Technology and Secured Transactions, ICITST 2011, Abu Dhabi, UAE, December 11-14, 2011, pp. 260-265, 2011, IEEE, 978-1-908320-00-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Mirco Kuhlmann, Karsten Sohr, Martin Gogolla |
Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI ![In: Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea, pp. 108-117, 2011, IEEE Computer Society, 978-0-7695-4453-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Babak Khazaei |
An empirical study of the influence of OCL on early learners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPIG ![In: Proceedings of the 23rd Annual Workshop of the Psychology of Programming Interest Group, PPIG 2011, York, UK, September 6-8, 2011, pp. 16, 2011, Psychology of Programming Interest Group. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Eban Escott, Paul A. Strooper, Paul King, Ian J. Hayes |
Model-Driven Web Form Validation with UML and OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE Workshops ![In: Current Trends in Web Engineering - Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers, pp. 223-235, 2011, Springer, 978-3-642-27996-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Juan José Cadavid, Benoit Baudry, Benoît Combemale |
Empirical Evaluation of the Conjunct Use of MOF and OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EESSMod@MoDELS ![In: Proceedings of the First Workshop on Experiences and Empirical Studies in Software Modelling, Wellington, New Zealand, October 17, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Joanna Chimiak-Opoka |
Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings, pp. 47-61, 2011, Springer, 978-3-642-24484-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Milos Raskovic, Ana Lucia Varbanescu, Wouter Vlothuizen, Maarten Ditzel, Henk J. Sips |
OCL-BodyScan: A Case Study for Application-centric Programming of Many-Core Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: International Conference on Parallel Processing, ICPP 2011, Taipei, Taiwan, September 13-16, 2011, pp. 542-551, 2011, IEEE Computer Society, 978-1-4577-1336-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
3D Bodyscan, application-centric design and development, OpenCL |
16 | Jing Mei, Haifeng Liu 0005, Guo Tong Xie, Shengping Liu, Baoyao Zhou |
An OCL-compliant GELLO Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIE ![In: User Centered Networked Health Care - Proceedings of MIE 2011 - The XXIIIth International Congress of the European Federation for Medical Informatics, Oslo, Norway, August 28-31, 2011, pp. 130-134, 2011, IOS Press, 978-1-60750-805-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Mirco Kuhlmann, Lars Hamann, Martin Gogolla |
Extensive Validation of OCL Models by Integrating SAT Solving into USE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (49) ![In: Objects, Models, Components, Patterns - 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings, pp. 290-306, 2011, Springer, 978-3-642-21951-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Shaukat Ali 0001, Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand |
A Search-Based OCL Constraint Solver for Model-Based Test Data Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011., pp. 41-50, 2011, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Ana Gabriela Garis, Alcino Cunha, Daniel Riesco |
Translating Alloy Specifications to UML Class Diagrams Annotated with OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, pp. 221-236, 2011, Springer, 978-3-642-24689-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Imran Sarwar Bajwa, Mark G. Lee |
Transformation Rules for Translating Business Rules to OCL Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings, pp. 132-143, 2011, Springer, 978-3-642-21469-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Fabian Büttner |
Reusing OCL in the definition of imperative languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
16 | Lotfi Bejaoui, François Pinet, Michel Schneider, Yvan Bédard |
OCL for formal modelling of topological constraints involving regions with broad boundaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GeoInformatica ![In: GeoInformatica 14(3), pp. 353-378, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara |
A UML/OCL framework for the analysis of graph transformation rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 9(3), pp. 335-357, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Luis Reynoso, M. Esperanza Manso, Marcela Genero, Mario Piattini |
Assessing the influence of import-coupling on OCL expression maintainability: A cognitive theory-based perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 180(20), pp. 3837-3862, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jesús Pardillo, Jose-Norberto Mazón, Juan Trujillo 0001 |
Extending OCL for OLAP querying on conceptual multidimensional models of data warehouses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 180(5), pp. 584-601, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Wolfgang Herzner, Rupert Schlick, Werner Schütz, Harald Brandl, Willibald Krenn |
Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Elektrotech. Informationstechnik ![In: Elektrotech. Informationstechnik 127(6), pp. 181-186, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Martin Hanysz, Tobias Hoppe, Axel Uhl, Andreas Seibel, Holger Giese, Philipp Berger 0001, Stephan Hildebrandt |
Navigating Across Non-Navigable Ecore References via OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Baar |
On the Need of User-defined Libraries in OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Edward D. Willink |
Re-engineering Eclipse MDT/OCL for Xtext. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Marina Egea, Carolina Dania, Manuel Clavel |
MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, Raquel Pau, Ruth Raventós |
From UML/OCL to SBVR specifications: A challenging transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 35(4), pp. 417-440, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jens Brüning, Martin Gogolla, Peter Forbrig |
Modeling and Formally Checking Workflow Properties Using UML and OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIR ![In: Perspectives in Business Informatics Research - 9th International Conference, BIR 2010, Rostock Germany, September 29-October 1, 2010. Proceedings, pp. 130-145, 2010, Springer, 978-3-642-16100-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Sachoun Park, Taeman Han, Hyoungju Lim, Gihwon Kwon |
OCL Evaluation on AUTOSAR Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1 - July 3, 2010, pp. 645-648, 2010, Knowledge Systems Institute Graduate School, 1-891706-26-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Carmen Avila, Amritam Sarcar, Yoonsik Cheon, Cesar Yeep |
Runtime Constraint Checking Approaches for OCL, A Critical Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1 - July 3, 2010, pp. 393-398, 2010, Knowledge Systems Institute Graduate School, 1-891706-26-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler |
Verifying UML/OCL models using Boolean satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010, pp. 1341-1344, 2010, IEEE Computer Society, 978-1-4244-7054-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Kamal Boulil, Sandro Bimonte, Hadj Mahboubi, François Pinet |
Towards the definition of spatial data warehouses integrity constraints with spatial OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOLAP ![In: DOLAP 2010, ACM 13th International Workshop on Data Warehousing and OLAP, Toronto, Ontario, Canada, October 30, 2010, Proceedings, pp. 31-36, 2010, ACM, 978-1-4503-0383-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara |
Synthesis of OCL Pre-conditions for Graph Transformation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 3rd International Conference, ICMT@TOOLS 2010, Málaga, Spain, June 28-July 2, 2010. Proceedings, pp. 45-60, 2010, Springer, 978-3-642-13687-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jin Liu 0016, Xiaoming Lu, Xiguang Feng, Jianxun Liu |
OCL-Based Testing for E-Learning Web Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWL Workshops ![In: New Horizons in Web-Based Learning - ICWL 2010 Workshops - ICWL 2010 Workshops: STEG, CICW, WGLBWS, and IWKDEWL, Shanghai, China, December 7-11, 2010 Revised Selected Papers, pp. 161-168, 2010, Springer, 978-3-642-20538-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, Jose-Norberto Mazón, Jesús Pardillo, Juan Trujillo 0001 |
Specifying Aggregation Functions in Multidimensional Models with OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2010, 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings, pp. 419-432, 2010, Springer, 978-3-642-16372-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Anna Queralt, Guillem Rull, Ernest Teniente, Carles Farré, Toni Urpí |
AuRUS: Automated Reasoning on UML/OCL Schemas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2010, 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings, pp. 438-444, 2010, Springer, 978-3-642-16372-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Thanh-Hai Trinh, Ronan Querrec, Pierre De Loor, Pierre Chevaillier |
Ensuring semantic spatial constraints in virtual environments using UML/OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST 2010, Hong Kong, China, November 22-24, 2010, pp. 219-226, 2010, ACM, 978-1-4503-0441-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Kamal Boulil, Sandro Bimonte, Hadj Mahboubi, François Pinet |
Vers la définition des contraintes d'intégrité d'entrepôts de données spatiales avec OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDA ![In: Actes des 6èmes journées francophones sur les Entrepôts de Données et l'Analyse en ligne, EDA 2010, Djerba, Tunisie, Juin 2010, pp. 121-136, 2010, Cépaduès, 978-2-85428-942-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler |
Verifying UML/OCL Models Using Boolean Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010, pp. 57-66, 2010, Fraunhofer Verlag. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Olegas Vasilecas, Kestutis Normantas |
Decision table based approach for business rules modelling in UML/OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, CompSysTech 2010, Sofia, Bulgaria, June 17-18, 2010, pp. 77-82, 2010, ACM, 978-1-4503-0243-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Diana Kalibatiene, Olegas Vasilecas |
On OWL/SWRL mapping to UML/OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, CompSysTech 2010, Sofia, Bulgaria, June 17-18, 2010, pp. 58-63, 2010, ACM, 978-1-4503-0243-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Yoonsik Cheon, Carmen Avila |
Automating Java Program Testing Using OCL and AspectJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Seventh International Conference on Information Technology: New Generations, ITNG 2010, Las Vegas, Nevada, USA, 12-14 April 2010, pp. 1020-1025, 2010, IEEE Computer Society, 978-0-7695-3984-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
random testing, Object Constraint Language, AspectJ, pre and postconditions, runtime assertion checking |
16 | Asadullah Shaikh, Uffe Kock Wiil, Nasrullah Memon |
UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling: About Models - 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers, pp. 173-192, 2010, Springer, 978-3-642-21651-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla, Lars Hamann, Mirco Kuhlmann |
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@TOOLS ![In: Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, Málaga, Spain, July 1-2, 2010. Proceedings, pp. 38-54, 2010, Springer, 978-3-642-13976-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, Raquel Pau, Ruth Raventós |
From UML/OCL to SBVR Specifications: a Challenging Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JISBD ![In: XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), Valencia, Spain, September 7-10, 2010. Actas, pp. 73-73, 2010, IBERGARCETA Pub. S.L., 978-84-92812-51-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Grzegorz Falda, Wiktor Filipowicz, Piotr Habela, Krzysztof Stencel, Kazimierz Subieta, Krzysztof Kaczmarski |
Applying Query by Example in OCL for Platform-independent Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEBIST (1) ![In: WEBIST 2010, Proceedings of the 6th International Conference on Web Information Systems and Technologies, Volume 1, Valencia, Spain, April 7-10, 2010, pp. 179-182, 2010, INSTICC Press, 978-989-674-025-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Florian Heidenreich, Jendrik Johannes, Sven Karol, Mirko Seifert, Michael Thiele, Christian Wende, Claas Wilke |
Integrating OCL and Textual Modelling Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering - Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers, pp. 349-363, 2010, Springer, 978-3-642-21209-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff |
A Specification-Based Test Case Generation Method for UML/OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering - Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers, pp. 334-348, 2010, Springer, 978-3-642-21209-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Claas Wilke, Michael Thiele, Christian Wende |
Extending Variability for OCL Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (1) ![In: Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I, pp. 361-375, 2010, Springer, 978-3-642-16144-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, Tony Clark 0001, Manuel Clavel, Martin Gogolla |
Tenth International Workshop on OCL and Textual Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering - Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers, pp. 329-333, 2010, Springer, 978-3-642-21209-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Dagi Troegner |
Combination of Fuzzy Sets with the Object Constraint Language (OCL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung (2) ![In: 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27 - October 1, 2010, Band 2, pp. 705-710, 2010, GI, 978-3-88579-270-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, Nasrullah Memon |
Verification-driven slicing of UML/OCL models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010, pp. 185-194, 2010, ACM, 978-1-4503-0116-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Johan Ullberg, Ulrik Franke, Markus Buschle, Pontus Johnson |
A Tool for Interoperability Analysis of Enterprise Architecture Models using Pi-OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
I-ESA ![In: Enterprise Interoperability IV, Making the Internet of the Future for the Future of Enterprise, Proceedings of I-ESA 2010, Coventry, UK, pp. 81-90, 2010, Springer, 978-1-84996-256-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Miriam Schleipen |
A concept for conformance testing of AutomationML models by means of formal proof using OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2010, September 13-16, 2010, Bilbao, Spain, pp. 1-5, 2010, IEEE, 978-1-4244-6848-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Narayan C. Debnath, Carlos Salgado, Mario Peralta, Daniel Riesco, German Montejano |
Optimization of the Business Process metrics definition according to the BPDM standard and its formal definition in OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: The 8th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010, Hammamet, Tunisia, May 16-19, 2010, pp. 1-8, 2010, IEEE Computer Society, 978-1-4244-7716-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee |
OCL Constraints Generation from Natural Language Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2010, Vitória, Brazil, 25-29 October 2010, pp. 204-213, 2010, IEEE Computer Society, 978-0-7695-4163-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Luciano C. Ascari, Silvia Regina Vergilio |
Mutation Testing Based on OCL Specifications and Aspect Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: SCCC 2010, Proceedings of the XXIX International Conference of the Chilean Computer Science Society, Antofagasta, Chile, 15-19 November 2010, pp. 43-50, 2010, IEEE Computer Society, 978-0-7695-4400-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | |
OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 1947, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | François Pinet, Magali Duboisset, Michel Schneider |
Modélisation de contraintes d'intégrité spatiales avec OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Int. Géomatique ![In: Rev. Int. Géomatique 19(1), pp. 93-122, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Jens Brüning, Andreas Wolff |
Declarative Models for Business Processes and UI Generation using OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 24, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp |
Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 24, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Peter Killisperger, Markus Stumptner, Georg Peters, Thomas Stückl |
Specifying OCL Constraints on Process Instantiations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 24, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Tony Clark 0001 |
A MOP Based DSL for Testing Java Programs using OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 24, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam |
OCL contracts for the verification of model transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 24, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth, Darius Silingas, Nicolas F. Rouquette |
Requirements Analysis for an Integrated OCL Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 24, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Clavel, Marina Egea, Miguel Angel García de Dios |
Checking Unsatisfiability for OCL Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 24, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Oussama Mohamed Reda, Bouabid El Ouahidi, Daniel Bourget |
Typing rules OCL specification of QoS-capable ODP Computational Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARIMA J. ![In: ARIMA J. 11, pp. 2, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, Ernest Teniente |
Incremental integrity checking of UML/OCL conceptual schemas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 82(9), pp. 1459-1478, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Tamás Vajk, Gergely Mezei, Tihamer Levendovszky |
Incremental Type Checking in OCL Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS-EERC ![In: First IEEE Eastern European Conference on the Engineering of Computer Based Systems, ECBS-EERC 2009, Novi Sad, Serbia, September 7-8, 2009, pp. 9-18, 2009, IEEE Computer Society, 978-0-7695-3759-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Jens Brüning |
Declarative Workflow Modeling with UML Class Diagrams and OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPSC ![In: Business Process, Services Computing and Intelligent Service Management, Leipzig, Germany, March 23-25, 2009, pp. 227-228, 2009, GI, 978-3-88579-241-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack |
On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, pp. 204-218, 2009, Springer, 978-3-642-11446-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, Jose-Norberto Mazón, Jesús Pardillo, Juan Trujillo 0001 |
Towards the Conceptual Specification of Statistical Functions with OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE Forum ![In: Proceedings of the Forum at the CAiSE 2009 Conference, Amsterdam, The Netherlands, 8-12 June 2009, 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Thanh Thanh Le Thi |
Modeling of programming languages in UML/OCL and application in a MDE process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IADIS AC (1) ![In: Proceedings of the IADIS International Conference Applied Computing 2009, 19-21 November, Rome, Italy, 2 Volumes, pp. 234-242, 2009, IADIS Press, 978-972-8924-97-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Bong-Jin Choi, Yong-Sung Kim, Yan Ha |
UML for XML-GL Query Using Class Diagram and OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Proceedings of the Seventh ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2009, Haikou, China, 2-4 December 2009, pp. 179-185, 2009, IEEE Computer Society, 978-0-7695-3903-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|