Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp |
Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages. |
MoDELS (Workshops) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff |
Extending OCL with Null-References. |
MoDELS (Workshops) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Anna Queralt |
Validation of UML conceptual schemas with OCL constraints and operations. |
|
2009 |
RDF |
|
16 | Duc-Hanh Dang |
On integrating triple graph grammars and OCL for model-driven development. (PDF / PS) |
|
2009 |
RDF |
|
16 | Miguel Garcia |
Efficient Integrity Checking for Essential MOF + OCL in Software Repositories. |
J. Object Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Stephan Weißleder, Dehla Sokenou |
Cause-Effect Graphs for Test Models Based on UML and OCL. |
Softwaretechnik-Trends |
2008 |
DBLP BibTeX RDF |
|
16 | David H. Akehurst, W. Gareth J. Howells, Markus Scheidgen, Klaus D. McDonald-Maier |
C# 3.0 makes OCL redundant! |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, Jean Bézivin |
Deriving OCL Optimization Patterns from Benchmarks. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Fabian Büttner, Mirco Kuhlmann |
Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Florian Heidenreich, Christian Wende, Birgit Demuth |
A Framework for Generating Query Language Code from OCL Invariants. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Clavel, Marina Egea, Miguel Angel García de Dios |
ECEASST Building an Efficient Component for OCL Evaluation. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Matthias P. Krieger, Alexander Knapp |
Executing Underspecified OCL Operation Contracts with a SAT Solver. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Tamás Vajk, Gergely Mezei, Tihamer Levendovszky |
An Incremental OCL Compiler for Modeling Environments. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Pierre Kelsen, Elke Pulvermüller, Christian Glodt |
Specifying Executable Platform-Independent Models using OCL. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Matthias Bräuer, Birgit Demuth |
Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | David H. Akehurst, Steffen Zschaler, W. Gareth J. Howells |
OCL: Modularising the Language. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Dan Ioan Chiorean, Vladiela Petrascu, Dragos Petrascu |
How My Favorite Tool Supporting OCL Must Look Like. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Mirco Kuhlmann, Martin Gogolla |
Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Mirko Seifert, Roland Samlaus |
Static Source Code Analysis using OCL. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Milan Milanovic, Dragan Gasevic, Adrian Giurca, Gerd Wagner 0001, Vladan Devedzic |
Sharing OCL Constraints by Using Web Rules. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Ke Jiang, Lei Zhang, Shigeru Miyake |
Using OCL in Executable UML. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | William N. Robinson |
Extended OCL for Goal Monitoring. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, Martin Gogolla, Pieter Van Gorp |
Preface to the Proceedings of the 2008 OCL Workshop. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Emine Gokce Aydal, Richard F. Paige, Jim Woodcock 0001 |
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Heung Seok Chae, Keunhyuk Yeom, Tae Yeon Kim |
Specifying and validating structural constraints of analysis class models using OCL. |
Inf. Softw. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Diana M. Sánchez Fuquene, César J. Acuña, José María Cavero Barca, Esperanza Marcos Martínez |
Applying OCL to the development of SWS. |
Int. J. Comput. Appl. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Carmen Avila, Guillermo Flores, Yoonsik Cheon |
A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking. |
Software Engineering Research and Practice |
2008 |
DBLP BibTeX RDF |
|
16 | Stephan Weißleder, Dehla Sokenou |
Automatic Test Case Generation from UML Models and OCL Expressions. |
Software Engineering (Workshops) |
2008 |
DBLP BibTeX RDF |
|
16 | Jordi Cabot, Robert Clarisó, Daniel Riera |
Verification of UML/OCL Class Diagrams using Constraint Programming. |
ICST Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Audrey Occello, Anne-Marie Dery-Pinna, Michel Riveill |
Validation and Verification of an UML/OCL Model with USE and B: Case Study and Lessons Learnt. |
ICST Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Joanna Chimiak-Opoka, Michael Felderer, Chris Lenz, Christian Lange 0001 |
Querying UML Models using OCL and Prolog: A Performance Study. |
ICST Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Sergey Lukichev |
Defining a Subset of OCL for Expressing SWRL Rules. |
RuleApps |
2008 |
DBLP BibTeX RDF |
|
16 | Daniel Calegari, María Victoria Cengarle, Nora Szasz |
UML 2.0 Interactions with OCL/RT Constraints. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Miguel García, Ralf Möller 0001 |
Incremental Evaluation of OCL Invariants in the Essential MOF Object Model. |
Modellierung |
2008 |
DBLP BibTeX RDF |
|
16 | Jordi Cabot, Ernest Teniente |
Transformation techniques for OCL constraints. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla, Fabian Büttner, Mark Richters |
USE: A UML-based specification environment for validating UML and OCL. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | François Pinet, Magali Duboisset, Vincent Soulignac |
Using UML and OCL to maintain the consistency of spatial data in environmental information systems. |
Environ. Model. Softw. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Jörg Bauer 0001, Werner Damm, Tobe Toben, Bernd Westphal |
Verification and Synthesis of OCL Constraints Via Topology Analysis. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot |
From Declarative to Imperative UML/OCL Operation Specifications. |
ER |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Piotr Habela, Krzysztof Kaczmarski, Krzysztof Stencel, Kazimierz Subieta |
Implementing OCL as a Database Query Language. |
OTM Workshops (1) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Alexandre L. Correa, Cláudia M. L. Werner, Márcio de Oliveira Barros |
Enhancing the Understandability of OCL Specifications. |
SBES |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Slavisa Markovic, Thomas Baar |
Synchronizing Refactored UML Class Diagrams and OCL Constraints. |
WRT |
2007 |
DBLP BibTeX RDF |
|
16 | Roxana S. Giandini, Gabriela Pérez, Claudia Pons |
A Minimal OCL-based Profile for Model Transformation. |
JIISIC |
2007 |
DBLP BibTeX RDF |
|
16 | Jordi Cabot, Ernest Teniente |
Comprobación eficiente de restricciones de integridad en OCL. |
JISBD |
2007 |
DBLP BibTeX RDF |
|
16 | Jordi Cabot, Robert Clarisó, Patricia de la Fuente, Daniel Riera |
UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming. |
JISBD |
2007 |
DBLP BibTeX RDF |
|
16 | Rainer Schmidberger, Sascha Biermann |
Testresultatsvergleich mit UML-Analysemodellen und OCL-Ausdrücken. |
GI Jahrestagung (2) |
2007 |
DBLP BibTeX RDF |
|
16 | Mohamed Bouhdadi, Chabbar El Maati, Hafid Belhaj |
A UML/OCL Denotational Semantics for ODP Structural Computational Concepts. |
RCIS |
2007 |
DBLP BibTeX RDF |
|
16 | Bao-Lin Li, Zhi-Shu Li, Li Qing, Yan-Hong Chen |
Test Case Automate Generation from UML Sequence Diagram and OCL Expression. |
CIS |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Jessica Winkelmann, Gabriele Taentzer, Karsten Ehrig, Jochen Malte Küster |
Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars. |
GT-VMT@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Kirsten Berkenkötter |
Design of a Railway Domain Profile and its OCL-based Validation. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Achim D. Brucker, Jürgen Doser, Burkhart Wolff |
Semantic Issues of OCL: Past, Present, and Future. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Mirko Stölzel, Steffen Zschaler, Leif Geiger |
Integrating OCL and Model Transformations in Fujaba. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Gergely Mezei, Tihamer Levendovszky, Hassan Charaf |
Restrictions for OCL Constraint Optimization Algorithms. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Achim D. Brucker, Jürgen Doser, Burkhart Wolff |
An MDA Framework Supporting OCL. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Milan Milanovic, Dragan Gasevic, Adrian Giurca, Gerd Wagner 0001, Vladan Devedzic |
Towards Sharing Rules Between OWL/SWRL and UML/OCL. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack |
Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Juan Martin Chiaradía, Claudia Pons |
Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Joanna Dobroslawa Chimiak-Opoka, Chris Lenz |
Use of OCL in a Model Assessment Framework: An experience report. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Rodolfo Villarroel, Eduardo Fernández-Medina, Mario Piattini, Juan Trujillo 0001 |
A UML 2.0/OCL Extension for Designing Secure Data Warehouses. |
J. Res. Pract. Inf. Technol. |
2006 |
DBLP BibTeX RDF |
|
16 | Orest Pilskalns, Anneliese Amschler Andrews |
Using UML Designs to Generate OCL for Security Testing. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
16 | Thouraya Bouabana-Tebibel |
Formal validation with OCL. |
SMC |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Bruno Tatibouët, Isabelle Jacques |
Understanding B Specifications with UML Class Diagram and OCL Constraints. |
ICEIS (3) |
2006 |
DBLP BibTeX RDF |
|
16 | Marcel Kyas |
Verifying OCL specifications of UML models: tool support and compositionakity. |
|
2006 |
RDF |
|
16 | Karsten Ehrig, Jessica Winkelmann |
Model Transformation From VisualOCL to OCL Using Graph Transformation. |
GRaMoT@GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Hans Schippers, Dirk Janssens |
a(MDÆ)2: A Model Driven Approach to Multi-Dimensional Separation of Concerns with OCL. |
ABMB |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Jean-Christophe Voisinet, Bruno Tatibouët, Isabelle Jacques |
Generation of OCL Constraints from B Abstract Machines. |
Software Engineering Research and Practice |
2005 |
DBLP BibTeX RDF |
|
16 | Jordi Cabot, Ernest Teniente |
Computing the Relevant Instances That May Violate an OCL Constraint. |
CAiSE |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Rodolfo Villarroel, Eduardo Fernández-Medina, Juan Trujillo 0001, Mario Piattini |
Towards a UML 2.0/OCL extension for designing Secure Data Warehouses. |
WOSIS |
2005 |
DBLP BibTeX RDF |
|
16 | Luis Reynoso, Marcela Genero, Mario Piattini, M. Esperanza Manso |
The Effect of Coupling on Understanding and Modifying OCL Expressions: An Experimental Analysis. |
JISBD |
2005 |
DBLP BibTeX RDF |
|
16 | Dave Arnold, Toby McClean, Jean-Pierre Corriveau, Vojislav D. Radonjic |
Constraints in C# using the OCL 2.0. |
IASTED Conf. on Software Engineering |
2005 |
DBLP BibTeX RDF |
|
16 | László Lengyel, Tihamer Levendovszky, P. Kozma, Hassan Charaf |
Compiling and Validating OCL Constraints in Metamodeling Environments and Visual Model Compilers. |
IASTED Conf. on Software Engineering |
2005 |
DBLP BibTeX RDF |
|
16 | Karsten Sohr, Gail-Joon Ahn, Lars Migge |
Articulating and enforcing authorisation policies with UML and OCL. |
SESS@ICSE |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Alessandra Cavarra, Juliana Küster Filipe |
Combining Sequence Diagrams and OCL for Liveness. |
SFEDL@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler |
Formalizing UML Models and OCL Constraints in PVS. |
SFEDL@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Stephan Flake |
Towards the Completion of the Formal Semantics of OCL 2.0. |
ACSC |
2004 |
DBLP BibTeX RDF |
|
16 | Yves Ledru, Sophie Dupuy-Chessa, Hind Fadil |
Towards Computer-aided Design of OCL Constraints. |
CAiSE Workshops (1) |
2004 |
DBLP BibTeX RDF |
|
16 | Martin Gogolla, Mark Richters, Jörn Bohling, Arne Lindow, Fabian Büttner, Paul Ziemann |
Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung. |
Modellierung |
2004 |
DBLP BibTeX RDF |
|
16 | Paul Ziemann, Martin Gogolla |
Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study. |
FMICS |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Marcel Kyas, Frank S. de Boer |
On Message Specifications in OCL. |
CVUML |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Dave Thomas |
UML - Unified or Universal Modeling Language? UML2, OCL, MOF, EDOC - The Emperor Has Too Many Clothes. |
J. Object Technol. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | José M. Garrido |
Expressing Real-Time Constraints in OCL with High-Level Temporal Logic Operators. |
Software Engineering Research and Practice |
2003 |
DBLP BibTeX RDF |
|
16 | Djalma D. Silva, Edson Satoshi Gomi |
Java Code Generator Using UML and OCL. |
Software Engineering Research and Practice |
2003 |
DBLP BibTeX RDF |
|
16 | Stephan Flake, Wolfgang Müller 0003 |
Expressing Property Specification Patterns with OCL. |
Software Engineering Research and Practice |
2003 |
DBLP BibTeX RDF |
|
16 | Il-Kyu Ha, Byung-Wook Kang |
Meta-Validation of UML Diagrams Using OCL Rules. |
Software Engineering Research and Practice |
2003 |
DBLP BibTeX RDF |
|
16 | Pierre Bazex, Jean-Paul Bodeveix, Thierry Millan, Christophe Le Camus, Christian Percebois |
Vérification de modèles UML fondée sur OCL. |
INFORSID |
2003 |
DBLP BibTeX RDF |
|
16 | Thomas Baar |
Über die Semantikbeschreibung OCL-artiger Sprachen. |
|
2003 |
RDF |
|
16 | Heinrich Hußmann, Birgit Demuth, Frank Finger |
Modular architecture for a toolset supporting OCL. |
Sci. Comput. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Franz J. Rammig, Ben Watson, John Hogg, Wei-Tek Tsai |
OCL Goes Real-Time (Panel). |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Franz J. Rammig |
OCL Goes Real-Time (position paper). |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Geraldo Zimbrão, Rodrigo Miranda, Jano Moreira de Souza, Francisco Gonçalves Pereira Neto |
FalaOCL: Uma Ferramenta para Parafrasear OCL. |
SBES |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Mark Richters |
A precise approach to validating UML models and OCL constraints. |
|
2002 |
RDF |
|
16 | Andy Schürr |
Adding Graph Transformation Concepts to UML's Constraint Language OCL. |
UNIGRA |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Stefan Conrad 0001, Klaus Turowski |
Temporal OCL Meeting Specification Demands for Business Components. |
Unified Modeling Language: Systems Analysis, Design and Development Issues |
2001 |
DBLP BibTeX RDF |
|
16 | Dan Chiorean |
Using OCL Beyond Specifications. |
pUML |
2001 |
DBLP BibTeX RDF |
|
16 | Geri Georg, Jores Bieman, Robert B. France |
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study. |
pUML |
2001 |
DBLP BibTeX RDF |
|
16 | Chanika Hobatr, Brian A. Malloy |
The design of an OCL query-based debugger for C++. |
SAC |
2001 |
DBLP DOI BibTeX RDF |
OpenC++, meta-class, unified modelling language, C++, debugging, code generation, query, object constraint language, code instrumentation, meta-object protocol |
16 | Tom M. van Engers |
Power: Using UML/OCL for modelling legislation - an application report. |
ICAIL |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Andy Schürr |
New Type Checking Rules for OCL Expressions. |
Modellierung |
2001 |
DBLP BibTeX RDF |
|
16 | Peter Wendorff |
Applicability of the Object Constraint Language (OCL) in Commercial Software Development for Vehicle Routing and Scheduling Software. |
Modellierung |
2001 |
DBLP BibTeX RDF |
|
16 | Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing |
Specifying Component Invariants with OCL. |
GI Jahrestagung (1) |
2001 |
DBLP BibTeX RDF |
|