Search results for "UML/OCL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	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
25	Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler	Verifying UML/OCL Models Using Boolean Satisfiability.	MBMV	2010	DBLP BibTeX RDF
25	Olegas Vasilecas, Kestutis Normantas	Decision table based approach for business rules modelling in UML/OCL.	CompSysTech	2010	DBLP DOI BibTeX RDF
25	Diana Kalibatiene, Olegas Vasilecas	On OWL/SWRL mapping to UML/OCL.	CompSysTech	2010	DBLP DOI BibTeX RDF
25	Asadullah Shaikh, Uffe Kock Wiil, Nasrullah Memon	UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models.	SAM	2010	DBLP DOI BibTeX RDF
25	Jordi Cabot, Raquel Pau, Ruth Raventós	From UML/OCL to SBVR Specifications: a Challenging Transformation.	JISBD	2010	DBLP BibTeX RDF
25	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
25	Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, Nasrullah Memon	Verification-driven slicing of UML/OCL models.	ASE	2010	DBLP DOI BibTeX RDF
25	Jordi Cabot, Ernest Teniente	Incremental integrity checking of UML/OCL conceptual schemas.	J. Syst. Softw.	2009	DBLP DOI BibTeX RDF
25	Thanh Thanh Le Thi	Modeling of programming languages in UML/OCL and application in a MDE process.	IADIS AC (1)	2009	DBLP BibTeX RDF
25	Jordi Cabot, Robert Clarisó, Daniel Riera	Verifying UML/OCL Operation Contracts.	IFM	2009	DBLP DOI BibTeX RDF
25	Jordi Cabot, Robert Clarisó, Daniel Riera	Verification of UML/OCL Class Diagrams using Constraint Programming.	ICST Workshops	2008	DBLP DOI BibTeX RDF
25	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
25	Jordi Cabot	From Declarative to Imperative UML/OCL Operation Specifications.	ER	2007	DBLP DOI BibTeX RDF
25	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
25	Mohamed Bouhdadi, Chabbar El Maati, Hafid Belhaj	A UML/OCL Denotational Semantics for ODP Structural Computational Concepts.	RCIS	2007	DBLP BibTeX RDF
25	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
25	Thomas Baar, Slavisa Markovic	A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	UML, Refactoring, OCL, Semantic Preservation
25	Miguel Garcia	Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	EJB3QL, Metamodel, OCL, Static semantics
25	Ahmed Gaafar, Sherif Sakr	Towards a Framework for Mapping Between UML/OCL and XML/XQuery.	UML	2004	DBLP DOI BibTeX RDF
25	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
25	Tom M. van Engers	Power: Using UML/OCL for modelling legislation - an application report.	ICAIL	2001	DBLP DOI BibTeX RDF
25	Achim D. Brucker, Burkhart Wolff	Testing Distributed Component Based Systems Using UML/OCL.	GI Jahrestagung (1)	2001	DBLP BibTeX RDF
25	Janis Putman	Model for Fault Tolerance and Policy from RM-ODP Expressed in UML/OCL.	ISORC	2000	DBLP DOI BibTeX RDF	fault tolerance, UML, policy, OCL, behavior, RM-ODP
25	José Miguel Cañete Valdeón, Francisco José Galán Morillo, Miguel Toro	Primeros Pasos hacia un Compilador de UML/OCL.	JISBD	2000	DBLP BibTeX RDF
25	Birgit Demuth, Heinrich Hußmann	Using UML/OCL Constraints for Relational Database Design.	UML	1999	DBLP DOI BibTeX RDF
25	G. Satya Reddy, Hrushikesha Mohanty	Specification Based Testing of Inheritance: A Framework of a Tool.	ICIT	2007	DBLP DOI BibTeX RDF
24	Pedro Nogueira Ramos	Contrary-to-Duties Constraints: From UML to Relational Model.	MoDELS	2008	DBLP DOI BibTeX RDF	Contrary-To-Duties, Deontic Constraints, UML, Relational Model
20	Karsten Sohr, Gail-Joon Ahn, Lars Migge	Articulating and enforcing authorisation policies with UML and OCL.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	UML
15	Andrzej Bialas	Semiformal Approach to the IT Security Development.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
15	Nicolas Guelfi, Gilles Perrouin	A Flexible Requirements Analysis Approach for Software Product Lines.	REFSQ	2007	DBLP DOI BibTeX RDF
15	Jildou Louwsma, Sisi Zlatanova, Ron van Lammeren, Peter van Oosterom	Specifying and Implementing Constraints in GIS - with Examples from a Geo-Virtual Reality System.	GeoInformatica	2006	DBLP DOI BibTeX RDF	object constraints, GeoVR, virtual reality, unified modelling language, GIS, object constraint language, 3D objects
15	Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier	Definition and Correct Refinement of Operation Specifications.	Research Results of the DICS Program	2006	DBLP DOI BibTeX RDF	System Operations, UML, Refinements, Refactorings, OCL, Graph Transformations, Design by Contract, QVT
15	Jin Song Dong	From semantic web to expressive software specifications: a modeling languages spectrum.	ICSE	2006	DBLP DOI BibTeX RDF
15	Herman Balsters, George B. Huitema, Nicolae B. Szirbik	Semantics of Agent-Based Service Delegation and Alignment.	OTM Workshops	2005	DBLP DOI BibTeX RDF
15	Frédéric Fondement, Thomas Baar	Making Metamodels Aware of Concrete Syntax.	ECMDA-FA	2005	DBLP DOI BibTeX RDF	Concrete Syntax Description, UML, Metamodeling, Visual Languages, OCL, MOF
15	Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting	Boundary Coverage Criteria for Test Generation from Formal Models.	ISSRE	2004	DBLP DOI BibTeX RDF	boundary-value testing, test coverage criteria, model-based testing
15	Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre	Mastering Test Generation from Smart Card Software Formal Models.	CASSIS	2004	DBLP DOI BibTeX RDF	boundary testing, smart card standard, formal specifications, functional testing, Automated test generation
15	Herman Balsters, Bert O. de Brock	An Object-Oriented Framework for Managing Cooperating Legacy Databases.	OOIS	2003	DBLP DOI BibTeX RDF
15	Cristina Gómez 0001, Antoni Olivé	Evolving Derived Entity Types in Conceptual Schemas in the UML.	OOIS	2003	DBLP DOI BibTeX RDF
15	Roger Smith, Bertrand Meyer 0001, Clemens A. Szyperski, Gilda Pour	Component-Based Development? Refining the Blueprint.	TOOLS (34)	2000	DBLP DOI BibTeX RDF