Search results for "OCL"

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