Search results for "OCL"

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