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. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Mirco Kuhlmann, Martin Gogolla |
Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Fabian Büttner, Jordi Cabot |
Lightweight String Reasoning for OCL. |
ECMFA |
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. |
ICEIS (2) |
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. |
ICEIS (1) |
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. |
|
2012 |
RDF |
|
16 | Asadullah Shaikh, Uffe Kock Wiil, Nasrullah Memon |
Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams. |
Adv. Softw. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Andrei Arusoaie, Dorel Lucanu, Vlad Rusu |
Towards a K Semantics for OCL. |
K |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Rodion Moiseev, Shinpei Hayashi, Motoshi Saeki |
Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints. |
IEICE Trans. Inf. Syst. |
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. |
Int. J. Technol. Diffusion |
2011 |
DBLP DOI BibTeX RDF |
|
16 | R. K. Pandey |
Object constraint language (OCL): past, present and future. |
ACM SIGSOFT Softw. Eng. Notes |
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. |
Int. J. Softw. Tools Technol. Transf. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Roldán, Francisco Durán 0001 |
Dynamic Validation of OCL Constraints with mOdCL. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
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. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Matthias P. Krieger, Achim D. Brucker |
Extending OCL Operation Contracts with Objective Functions. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Dan Ioan Chiorean, Ileana Ober, Vladiela Petrascu |
Avoiding OCL specification pitfalls. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Edward D. Willink |
Modeling the OCL Standard Library. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
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. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff |
Preface (OCL 2011 Proceedings). |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Edward D. Willink |
Aligning OCL with UML. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Axel Uhl, Thomas Goldschmidt, Manuel Holzleitner |
Using an OCL Impact Analysis Algorithm for View-Based Textual Modelling. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Lars Hamann, Martin Gogolla, Mirco Kuhlmann |
OCL-based Runtime Monitoring of JVM hosted Applications. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Francisco Durán 0001, Martin Gogolla, Manuel Roldán |
Tracing Properties of UML and OCL Models with Maude |
AMMSE |
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. |
Ingénierie des Systèmes d Inf. |
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. |
Innov. Syst. Softw. Eng. |
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. |
Int. J. Softw. Eng. Knowl. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla |
UML and OCL in Conceptual Modeling. |
Handbook of Conceptual Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Robert Tairas, Jordi Cabot |
Cloning in DSLs: Experiments with OCL. |
SLE |
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. |
ICTSS |
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. |
CSMR |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Jane Saetent, Nattawut Vejkanchana, Suphamit Chittayasothorn |
A thin client application development using OCL and conceptual schema. |
ICITST |
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. |
SSIRI |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Babak Khazaei |
An empirical study of the influence of OCL on early learners. |
PPIG |
2011 |
DBLP BibTeX RDF |
|
16 | Eban Escott, Paul A. Strooper, Paul King, Ian J. Hayes |
Model-Driven Web Form Validation with UML and OCL. |
ICWE Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Juan José Cadavid, Benoit Baudry, Benoît Combemale |
Empirical Evaluation of the Conjunct Use of MOF and OCL. |
EESSMod@MoDELS |
2011 |
DBLP BibTeX RDF |
|
16 | Joanna Chimiak-Opoka |
Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework. |
MoDELS |
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. |
ICPP |
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. |
MIE |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Mirco Kuhlmann, Lars Hamann, Martin Gogolla |
Extensive Validation of OCL Models by Integrating SAT Solving into USE. |
TOOLS (49) |
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. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Ana Gabriela Garis, Alcino Cunha, Daniel Riesco |
Translating Alloy Specifications to UML Class Diagrams Annotated with OCL. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Imran Sarwar Bajwa, Mark G. Lee |
Transformation Rules for Translating Business Rules to OCL Constraints. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Fabian Büttner |
Reusing OCL in the definition of imperative languages. |
|
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. |
GeoInformatica |
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. |
Softw. Syst. Model. |
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. |
Inf. Sci. |
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. |
Inf. Sci. |
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. |
Elektrotech. Informationstechnik |
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. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Baar |
On the Need of User-defined Libraries in OCL. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Edward D. Willink |
Re-engineering Eclipse MDT/OCL for Xtext. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Marina Egea, Carolina Dania, Manuel Clavel |
MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, Raquel Pau, Ruth Raventós |
From UML/OCL to SBVR specifications: A challenging transformation. |
Inf. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jens Brüning, Martin Gogolla, Peter Forbrig |
Modeling and Formally Checking Workflow Properties Using UML and OCL. |
BIR |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Sachoun Park, Taeman Han, Hyoungju Lim, Gihwon Kwon |
OCL Evaluation on AUTOSAR Model. |
SEKE |
2010 |
DBLP BibTeX RDF |
|
16 | Carmen Avila, Amritam Sarcar, Yoonsik Cheon, Cesar Yeep |
Runtime Constraint Checking Approaches for OCL, A Critical Comparison. |
SEKE |
2010 |
DBLP BibTeX RDF |
|
16 | Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler |
Verifying UML/OCL models using Boolean satisfiability. |
DATE |
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. |
DOLAP |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara |
Synthesis of OCL Pre-conditions for Graph Transformation Rules. |
ICMT@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jin Liu 0016, Xiaoming Lu, Xiguang Feng, Jianxun Liu |
OCL-Based Testing for E-Learning Web Service. |
ICWL Workshops |
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. |
ER |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Anna Queralt, Guillem Rull, Ernest Teniente, Carles Farré, Toni Urpí |
AuRUS: Automated Reasoning on UML/OCL Schemas. |
ER |
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. |
VRST |
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. |
EDA |
2010 |
DBLP BibTeX RDF |
|
16 | Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler |
Verifying UML/OCL Models Using Boolean Satisfiability. |
MBMV |
2010 |
DBLP BibTeX RDF |
|
16 | Olegas Vasilecas, Kestutis Normantas |
Decision table based approach for business rules modelling in UML/OCL. |
CompSysTech |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Diana Kalibatiene, Olegas Vasilecas |
On OWL/SWRL mapping to UML/OCL. |
CompSysTech |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Yoonsik Cheon, Carmen Avila |
Automating Java Program Testing Using OCL and AspectJ. |
ITNG |
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. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla, Lars Hamann, Mirco Kuhlmann |
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. |
TAP@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, Raquel Pau, Ruth Raventós |
From UML/OCL to SBVR Specifications: a Challenging Transformation. |
JISBD |
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. |
WEBIST (1) |
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. |
MoDELS (Workshops) |
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. |
MoDELS (Workshops) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Claas Wilke, Michael Thiele, Christian Wende |
Extending Variability for OCL Interpretation. |
MoDELS (1) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, Tony Clark 0001, Manuel Clavel, Martin Gogolla |
Tenth International Workshop on OCL and Textual Modelling. |
MoDELS (Workshops) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Dagi Troegner |
Combination of Fuzzy Sets with the Object Constraint Language (OCL). |
GI Jahrestagung (2) |
2010 |
DBLP BibTeX RDF |
|
16 | Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, Nasrullah Memon |
Verification-driven slicing of UML/OCL models. |
ASE |
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. |
I-ESA |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Miriam Schleipen |
A concept for conformance testing of AutomationML models by means of formal proof using OCL. |
ETFA |
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. |
AICCSA |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee |
OCL Constraints Generation from Natural Language Specification. |
EDOC |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Luciano C. Ascari, Silvia Regina Vergilio |
Mutation Testing Based on OCL Specifications and Aspect Oriented Programming. |
SCCC |
2010 |
DBLP DOI BibTeX RDF |
|
16 | |
OCL. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
16 | François Pinet, Magali Duboisset, Michel Schneider |
Modélisation de contraintes d'intégrité spatiales avec OCL. |
Rev. Int. Géomatique |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Jens Brüning, Andreas Wolff |
Declarative Models for Business Processes and UI Generation using OCL. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
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. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Peter Killisperger, Markus Stumptner, Georg Peters, Thomas Stückl |
Specifying OCL Constraints on Process Instantiations. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Tony Clark 0001 |
A MOP Based DSL for Testing Java Programs using OCL. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam |
OCL contracts for the verification of model transformations. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
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. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Clavel, Marina Egea, Miguel Angel García de Dios |
Checking Unsatisfiability for OCL Constraints. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Oussama Mohamed Reda, Bouabid El Ouahidi, Daniel Bourget |
Typing rules OCL specification of QoS-capable ODP Computational Interfaces. |
ARIMA J. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, Ernest Teniente |
Incremental integrity checking of UML/OCL conceptual schemas. |
J. Syst. Softw. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Tamás Vajk, Gergely Mezei, Tihamer Levendovszky |
Incremental Type Checking in OCL Compilers. |
ECBS-EERC |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Jens Brüning |
Declarative Workflow Modeling with UML Class Diagrams and OCL. |
BPSC |
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. |
Rigorous Methods for Software Construction and Analysis |
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. |
CAiSE Forum |
2009 |
DBLP BibTeX RDF |
|
16 | Thanh Thanh Le Thi |
Modeling of programming languages in UML/OCL and application in a MDE process. |
IADIS AC (1) |
2009 |
DBLP BibTeX RDF |
|
16 | Bong-Jin Choi, Yong-Sung Kim, Yan Ha |
UML for XML-GL Query Using Class Diagram and OCL. |
SERA |
2009 |
DBLP DOI BibTeX RDF |
|