Search results for "OCL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Achim D. Brucker, Burkhart Wolff	Testing Distributed Component Based Systems Using UML/OCL.	GI Jahrestagung (1)	2001	DBLP BibTeX RDF
16	Chanika Hobatr, Brian A. Malloy	Using OCL-Queries for Debugging C++.	ICSE	2001	DBLP DOI BibTeX RDF
16	Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt	Entwurfgesteuerte Erzeugung von OCL-Constraints.	Softwaretechnik-Trends	2000	DBLP BibTeX RDF
16	Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer	Consistency Checking and Visualization of OCL Constraints.	UML	2000	DBLP BibTeX RDF
16	Miro Casanova, Thomas Wallet, Maja D'Hondt	Adaptations to OCL for ensuring quality of geographic data (poster session).	OOPSLA Addendum	2000	DBLP DOI BibTeX RDF
16	David J. Murray, Dale E. Parson	Automated Debugging in Java Using OCL and JDI.	AADEBUG	2000	DBLP BibTeX RDF
16	Ron M. Simpson, Thomas Leo McCluskey, Donghong Liu	OCL-Graph: Exploiting Object Structure in a Plan Graph Algorithm.	PuK	2000	DBLP BibTeX RDF
16	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
16	Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt	Entwurfsmustergesteuerte Erzeugung von OCL-Constraints.	GI Jahrestagung	2000	DBLP DOI BibTeX RDF
16	Anneke Kleppe, Jos Warmer	An Introduction to the Object Constraint Language (OCL).	TOOLS (33)	2000	DBLP DOI BibTeX RDF
16	Mandana Vaziri, Daniel Jackson 0001	Some Shortcomings of OCL, the Object Constraint Language of UML.	TOOLS (34)	2000	DBLP DOI BibTeX RDF
16	Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing	Correct Realization of Interface Constraints with OCL.	UML	1999	DBLP DOI BibTeX RDF
16	Mark Richters, Martin Gogolla	A Metamodel for OCL.	UML	1999	DBLP DOI BibTeX RDF
16	Birgit Demuth, Heinrich Hußmann	Using UML/OCL Constraints for Relational Database Design.	UML	1999	DBLP DOI BibTeX RDF
16	Steve Cook, Anneke Kleppe, Richard Mitchell, Jos Warmer, Alan Cameron Wills	Defining the Context of OCL Expressions.	UML	1999	DBLP DOI BibTeX RDF
16	Ian Oliver	'Executing' the OCL.	ECOOP Workshop for PhD Students in OO Systems	1999	DBLP BibTeX RDF
16	Mark Richters, Martin Gogolla	On Formalizing the UML Object Constraint Language OCL.	ER	1998	DBLP DOI BibTeX RDF
16	Richard Mitchell	Analysis by Contract: An Introduction to UML's Object Constraint Language (OCL).	TOOLS (26)	1998	DBLP DOI BibTeX RDF
10	Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray	On challenges of model transformation from UML to Alloy.	Softw. Syst. Model.	2010	DBLP DOI BibTeX RDF
10	Chih-Hung Chang, Chih-Wei Lu, Nien-Lin Hsueh, William C. Chu, Chihhsiong Shih, Chao-Tung Yang, Pao-Ann Hsiung, Chorng-Shiuh Koong	SysML-based requirement modeling environment for multicore embedded system.	SAC	2010	DBLP DOI BibTeX RDF	requirement engineering, requirement modeling, model-driven, SysML
10	Stéphane Ducasse, Tudor Gîrba, Adrian Kuhn, Lukas Renggli	Meta-environment and executable meta-language using smalltalk: an experience report.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	Meta behavior description, Reflective language, Executable modeling language, Smalltalk
10	Achim D. Brucker, Burkhart Wolff	Semantics, calculi, and analysis for object-oriented specifications.	Acta Informatica	2009	DBLP DOI BibTeX RDF
10	Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra	A semantic framework for metamodel-based languages.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Semantic (meta-)hooking, Weaving behaviour, Formal methods, Metamodelling, Model driven engineering, Abstract state machines, Model-based development, Language semantics
10	Andrey Berlizev, Nicolas Guelfi	Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	fault-tolerant systems development, Semi-formal methodology, UML, MDE, integrated approaches, deviations
10	Çagdas Cirit, Feza Buzluca	A UML profile for role-based access control.	SIN	2009	DBLP DOI BibTeX RDF	tagged value, role-based access control, model driven architecture, object constraint language, unified modeling language profile, model validation, stereotype, security engineering
10	Rémi Bastide	An Integration of Task and Use-Case Meta-models.	HCI (1)	2009	DBLP DOI BibTeX RDF
10	Eunjee Song, Hanil Kim, Wuliang Sun	A property-based verification approach in aspect-oriented modeling.	SAC	2009	DBLP DOI BibTeX RDF
10	Michaela Huhn, Axel Zechner	Analysing Dependability Case Arguments Using Quality Models.	SAFECOMP	2009	DBLP DOI BibTeX RDF	Safety Case, Dependability Case, Argument Assessment, Quality models, Model-based development, Argument structures
10	Octavio Glorio, Juan Trujillo 0001	Designing Data Warehouses for Geographic OLAP Querying by Using MDA.	ICCSA (1)	2009	DBLP DOI BibTeX RDF	Spatial data warehousing, GIS-OLAP, MDA
10	Lijun Yu, Robert B. France, Indrakshi Ray, Sudipto Ghosh	A Rigorous Approach to Uncovering Security Policy Violations in UML Designs.	ICECCS	2009	DBLP DOI BibTeX RDF
10	Marie-Noëlle Terrasse, Marinette Savonnet, Éric Leclercq, Pierre Naubourg, Valery Lopes, Arnaud da Costa, Thierry Grison	Constraint Management in Engineering of Complex Information Systems.	ICECCS	2009	DBLP DOI BibTeX RDF
10	Liliana Favre	A Formal Foundation for Metamodeling.	Ada-Europe	2009	DBLP DOI BibTeX RDF	Meta Object Facility (MOF), Formal specification, Model Driven Architecture (MDA), Transformation (QVT), Metamodeling, Query, View
10	Dolors Costal, Cristina Gómez 0001, Anna Queralt, Ruth Raventós, Ernest Teniente	Improving the definition of general constraints in UML.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Conceptual modeling, Integrity constraints, UML profile
10	Jantien E. Stoter, Javier M. Morales, Rob L. G. Lemmens, B. M. Meijers, Peter J. M. van Oosterom, Wilko Quak, Harry Uitermark, Linda van den Brink	A Data Model for Multi-scale Topographical Data.	SDH	2008	DBLP DOI BibTeX RDF	knowledge formalisation, generalisation, multi-scale, spatial data modelling
10	Jesús Pardillo, Jose-Norberto Mazón, Juan Trujillo 0001	Bridging the semantic gap in OLAP models: platform-independent queries.	DOLAP	2008	DBLP DOI BibTeX RDF	conceptual modelling, MDA, data warehouse, OLAP
10	María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing	A Heterogeneous Approach to UML Semantics.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
10	Jacqueline A. McQuillan, James F. Power	A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy.	ICST	2008	DBLP DOI BibTeX RDF	metamodels, Alloy, object-oriented metrics, model testing
10	Terry A. Halpin	ORM 2008 PC Co-chairs' Message.	OTM Workshops	2008	DBLP DOI BibTeX RDF
10	Jing Luo, Ying Li 0012, Jie Qiu 0001, Ying Chen 0004	Declarative Constraint Framework for SOA Deployment and Configuration.	ICWS	2008	DBLP DOI BibTeX RDF
10	Massimo Ferraguto, Tim Wittrock, Mark Barrenscheen, Matti Paakko, Ville Sipinen	The On-Board Control Procedures Subsystem for the Herschel and Planck Satellites.	COMPSAC	2008	DBLP DOI BibTeX RDF	On-Board Control Procedures OBCP Herschel Planck
10	Xavier Franch, Gemma Grau	Towards a Catalogue of Patterns for Defining Metrics over i*Models.	CAiSE	2008	DBLP DOI BibTeX RDF
10	Anna Queralt, Ernest Teniente	Decidable Reasoning in UML Schemas with Constraints.	CAiSE	2008	DBLP DOI BibTeX RDF	Conceptual modeling, Reasoning, Decidability
10	Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara	An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.	MoDELS	2008	DBLP DOI BibTeX RDF
10	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
10	Denis Hatebur, Maritta Heisel, Holger Schmidt 0001	A Formal Metamodel for Problem Frames.	MoDELS	2008	DBLP DOI BibTeX RDF
10	Márcia Lucena, Emanuel Santos, Carla T. L. L. Silva, Fernanda M. R. Alencar, Maria Jocelia Silva, Jaelson Castro	Towards a unified metamodel for i.	RCIS	2008	DBLP DOI BibTeX RDF
10	Vincent Pretre, Fabrice Bouquet, Christophe Lang	Automating UML models merge for web services testing.	iiWAS	2008	DBLP DOI BibTeX RDF	web services, UML, model based testing
10	Daniel A. Sadilek, Stephan Weißleder	Testing Metamodels.	ECMDA-FA	2008	DBLP DOI BibTeX RDF
10	François Lagarde, Huáscar Espinoza, François Terrier, Charles André, Sébastien Gérard	Leveraging Patterns on Domain Models to Improve UML Profile Definition.	FASE	2008	DBLP DOI BibTeX RDF
10	Uwe Zdun, Carsten Hentrich, Schahram Dustdar	Modeling process-driven and service-oriented architectures using patterns and pattern primitives.	ACM Trans. Web	2007	DBLP DOI BibTeX RDF	Service-oriented architecture, middleware, software patterns
10	James P. Davis, Ronald D. Bonnell	Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Unified Modeling Language, constraints, Conceptual modeling, knowledge engineering, agent-oriented software engineering, object-oriented analysis, Boolean logic
10	Colin Atkinson 0001, Philipp Bostan, Daniel Brenner, Giovanni Falcone, Matthias Gutheil, Oliver Hummel, Monika Juhasz, Dietmar Stoll	Modeling Components and Component-Based Systems in KobrA.	CoCoME	2007	DBLP DOI BibTeX RDF
10	Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani	ReUML: a UML Profile for Modeling and Verification of Reactive Systems.	ICSEA	2007	DBLP DOI BibTeX RDF
10	Peter H. Hughes, Jakob Sverre Lovstad	A generic model for quantifiable software deployment.	ICSEA	2007	DBLP DOI BibTeX RDF
10	Sapna P. G., Hrushikesha Mohanty	Ensuring Consistency in Relational Repository of UML Models.	ICIT	2007	DBLP DOI BibTeX RDF
10	António Miguel Rosado da Cruz, João Pascoal Faria	Automatic Generation of User Interfaces from Domain and Use Case Models.	QUATIC	2007	DBLP DOI BibTeX RDF
10	Francisco J. Duarte, Ricardo Jorge Machado 0001, João M. Fernandes	Automated Information Systems Generation for Process-Oriented Organizations.	QUATIC	2007	DBLP DOI BibTeX RDF
10	Andrzej Bialas	Semiformal Approach to the IT Security Development.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
10	Carlos Mario Zapata Jaramillo, Guillermo González-Calderon, Alexander F. Gelbukh	A Rule-Based System for Assessing Consistency Between UML Models.	MICAI	2007	DBLP DOI BibTeX RDF
10	Terry A. Halpin, Sjir Nijssen, Robert Meersman	ORM 2007 PC Co-chairs' Message.	OTM Workshops (1)	2007	DBLP DOI BibTeX RDF
10	Nicolas Guelfi, Gilles Perrouin	A Flexible Requirements Analysis Approach for Software Product Lines.	REFSQ	2007	DBLP DOI BibTeX RDF
10	John Fox 0001, Robert Dunlop	Careflow: Theory and Practice.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF
10	Rajesh K. Thiagarajan, Markus Stumptner	Service Composition with Consistency-Based Matchmaking: A CSP-Based Approach.	ECOWS	2007	DBLP DOI BibTeX RDF
10	Patrícia D. L. Machado, Jorge C. A. de Figueiredo, Emerson F. A. Lima, Ana E. V. Barbosa, Helton S. Lima	Component-based integration testing from UML interaction diagrams.	SMC	2007	DBLP DOI BibTeX RDF
10	Grzegorz Falda, Piotr Habela, Krzysztof Kaczmarski, Krzysztof Stencel, Kazimierz Subieta	Platform-Independent Programming of Data-Intensive Applications Using UML.	CEE-SET	2007	DBLP DOI BibTeX RDF	UML, MDA, query language, database applications, executable modelling, action language
10	Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray	UML2Alloy: A Challenging Model Transformation.	MoDELS	2007	DBLP DOI BibTeX RDF
10	Stephan Weißleder, Bernd-Holger Schlingloff	Deriving Input Partitions from UML Models for Automatic Test Generation.	MoDELS (Workshops)	2007	DBLP DOI BibTeX RDF
10	Adrian Giurca, Gerd Wagner 0001	Rule Modeling and Interchange.	SYNASC	2007	DBLP DOI BibTeX RDF
10	Patricia Dockhorn Costa, João Paulo A. Almeida, Luís Ferreira Pires, Marten van Sinderen	Situation Specification and Realization in Rule-Based Context-Aware Applications.	DAIS	2007	DBLP DOI BibTeX RDF
10	Mauro Ferrari 0002, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi	Snapshot Generation in a Constructive Object-Oriented Modeling Language.	LOPSTR	2007	DBLP DOI BibTeX RDF
10	Khanh Hoa Dam, Michael Winikoff	Generation of Repair Plans for Change Propagation.	AOSE	2007	DBLP DOI BibTeX RDF
10	Markus Scheidgen, Joachim Fischer	Human Comprehensible and Machine Processable Specifications of Operational Semantics.	ECMDA-FA	2007	DBLP DOI BibTeX RDF
10	François Lagarde, François Terrier, Charles André, Sébastien Gérard	Constraints Modeling for (Profiled) UML Models.	ECMDA-FA	2007	DBLP DOI BibTeX RDF
10	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
10	Susanne Graf, Ileana Ober, Iulian Ober	A real-time profile for UML.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Real-time profile, Modeling, Real-time systems, UML, Formal verification, Timing analysis, OMEGA, Timing properties
10	Khanh Hoa Dam, Michael Winikoff, Lin Padgham	An agent-oriented approach to change propagation in software evolution.	ASWEC	2006	DBLP DOI BibTeX RDF
10	Johannes Maria Zaha, Antonia Albani	Compatibility Test for Coordination Aspects of Software Components.	ASWEC	2006	DBLP DOI BibTeX RDF
10	Felix Bübl	Keeping track of crosscutting requirements in UML models via context-based constraints.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	modelling, UML, constraints, AOP, requirements engineering, AOSD
10	Mohamed El-Attar 0001, James Miller 0001	Matching Antipatterns to Improve the Quality of Use Case Models.	RE	2006	DBLP DOI BibTeX RDF
10	Muhammad Alam, Ruth Breu, Michael Hafner	Modeling permissions in a (U/X)ML world.	ARES	2006	DBLP DOI BibTeX RDF
10	Terry A. Halpin, Robert Meersman	ORM 2006 PC Co-chairs' Message.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF
10	Constantin Werner, Sebastian Kraatz, Dieter Hogrefe	A UML Profile for Communicating Systems.	SAM	2006	DBLP DOI BibTeX RDF
10	Elyes Lehtihet, John Strassner, Nazim Agoulmine, Mícheál Ó Foghlú	Ontology-Based Knowledge Representation for Self-governing Systems.	DSOM	2006	DBLP DOI BibTeX RDF
10	Djamel Berrabah	Towards the Completion of Expressing and Checking Inheritance Constraints in UML.	BNCOD	2006	DBLP DOI BibTeX RDF
10	Stefan Föll, Jens Pontow, David Linner, Ilja Radusch	Classifying Multimedia Resources Using Social Relationships.	ISM	2006	DBLP DOI BibTeX RDF
10	Sandeep Neema, Sushil Birla, Shige Wang, Tripti Saxena	Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control.	ASWSD	2006	DBLP DOI BibTeX RDF
10	Kwang Ik Seo, Eun Man Choi	Comparison of Five Black-box Testing Methods for Object-Oriented Software.	SERA	2006	DBLP DOI BibTeX RDF	Comparison of testing methods, Performance of testing methods, Specification-based test, Black-box test
10	Carsten Amelunxen, Alexander Königs, Tobias Rötschke	MOSL: Composing a Visual Language for a Metamodeling Framework.	VL/HCC	2006	DBLP DOI BibTeX RDF
10	Dolors Costal, Cristina Gómez 0001, Anna Queralt, Ruth Raventós, Ernest Teniente	Facilitating the Definition of General Constraints in UML.	MoDELS	2006	DBLP DOI BibTeX RDF
10	Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow	Model Transformations? Transformation Models!	MoDELS	2006	DBLP DOI BibTeX RDF
10	Stéphane Ducasse, Tudor Gîrba	Using Smalltalk as a Reflective Executable Meta-language.	MoDELS	2006	DBLP DOI BibTeX RDF	meta behavior description, reflective language, Smalltalk
10	Jin Hyuk Yang, In-Jeong Chung	Automatic Generation of Service Ontology from UML Diagrams for Semantic Web Services.	ASWC	2006	DBLP DOI BibTeX RDF	state-chart and UML, Ontology, Semantic Web, OWL-S
10	Jin Song Dong	From semantic web to expressive software specifications: a modeling languages spectrum.	ICSE	2006	DBLP DOI BibTeX RDF
10	Aneta Poniszewska-Maranda	Security Constraints in Access Control of Information System Using UML Language.	WETICE	2006	DBLP DOI BibTeX RDF
10	Muhammad Alam, Michael Hafner, Ruth Breu	A constraint based role based access control in the SECTET a model-driven approach.	PST	2006	DBLP DOI BibTeX RDF	service oriented architectures, role based access control, model-driven architecture, model-driven security
10	Orest Pilskalns, Gunay Uyan, Anneliese Amschler Andrews	Regression Testing UML Designs.	ICSM	2006	DBLP DOI BibTeX RDF
10	Lionel C. Briand, Yvan Labiche, Alexandre Sauve	Guiding the Application of Design Patterns Based on UML Models.	ICSM	2006	DBLP DOI BibTeX RDF
10	Jorge Enrique Pérez-Martínez, Almudena Sierra-Alonso	From Analysis Model to Software Architecture: A PIM2PIM Mapping.	ECMDA-FA	2006	DBLP DOI BibTeX RDF
10	Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack	The Epsilon Object Language (EOL).	ECMDA-FA	2006	DBLP DOI BibTeX RDF
10	Martin Mutz	Metriken und Regeln für eine zustandsbasierte SW-Entwicklung im Automobilbereich.	Inform. Forsch. Entwickl.	2005	DBLP DOI BibTeX RDF	Modelling guidelines, Rule checker, UML, Software metrics, Statecharts, Automotive