Search results for "OCL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Pierre-Alain Muller, Philippe Studer, Frédéric Fondement, Jean Bézivin	Platform independent Web application modeling and development with Netsilon.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	MDA, PIMs, Web application development, PSMs
10	Lionel C. Briand, Yvan Labiche, Jim Cui	Automated support for deriving test requirements from UML statecharts.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF
10	Jean Bézivin	On the unification power of models.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	Models, MDA, Metamodels, MDE
10	James Skene, Wolfgang Emmerich	Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies.	TGC	2005	DBLP DOI BibTeX RDF
10	Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira	Using UML2.0 and GG for Describing the Dynamic of Software Architectures.	ICITA (1)	2005	DBLP DOI BibTeX RDF
10	Yuhong Zhao 0001, Martin Kardos, Simon Oberthür, Franz J. Rammig	Comprehensive Verification Framework for Dependability of Self-optimizing Systems.	ATVA	2005	DBLP DOI BibTeX RDF
10	Herman Balsters, George B. Huitema, Nicolae B. Szirbik	Semantics of Agent-Based Service Delegation and Alignment.	OTM Workshops	2005	DBLP DOI BibTeX RDF
10	Terry A. Halpin, Robert Meersman	ORM 2005 PC Co-chairs' Message.	OTM Workshops	2005	DBLP DOI BibTeX RDF
10	Stijn Hoppenbrouwers, Henderik Alex Proper, Theo P. van der Weide	Fact Calculus: Using ORM and Lisa-D to Reason About Domains.	OTM Workshops	2005	DBLP DOI BibTeX RDF
10	Behzad Bordbar, Kyriakos Anastasakis	MDA and Analysis of Web Applications.	TEAA	2005	DBLP DOI BibTeX RDF
10	Yuhong Zhao 0001, Simon Oberthür, Norma Montealegre, Franz J. Rammig, Martin Kardos	Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS.	PPAM	2005	DBLP DOI BibTeX RDF
10	Matthias Hoche, Stefan Jähnichen	Modeling Constraint Programs with Software Technology Standards.	CP	2005	DBLP DOI BibTeX RDF
10	Sungjune Hong, Sunyoung Han, Kwanho Song	The Extended PARLAY X for an Adaptive Context-Aware Personalized Service in a Ubiquitous Computing Environment.	EUC Workshops	2005	DBLP DOI BibTeX RDF
10	Chouki Tibermacine, Régis Fleurquin, Salah Sadou	NFRs-aware architectural evolution of component-based software.	ASE	2005	DBLP DOI BibTeX RDF
10	Gerd Wagner 0001	Rule Modeling and Markup.	Reasoning Web	2005	DBLP DOI BibTeX RDF
10	Wuwei Shen, Weng Liong Low	Using the Metamodel Mechanism to Support Class Refinement.	ICECCS	2005	DBLP DOI BibTeX RDF
10	Valdis Vitolins, Audris Kalnins	Semantics of UML 2.0 Activity Diagram for Business Modeling by Means of Virtual Machine.	EDOC	2005	DBLP DOI BibTeX RDF
10	Vahid Garousi, Lionel C. Briand, Yvan Labiche	Control Flow Analysis of UML 2.0 Sequence Diagrams.	ECMDA-FA	2005	DBLP DOI BibTeX RDF
10	Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet	Faster Analysis of Formal Specifications.	ICFEM	2004	DBLP DOI BibTeX RDF
10	Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Martin Hassler	Modeling Business Processes in Web Applications with ArgoUWE.	UML	2004	DBLP DOI BibTeX RDF
10	Risto Pitkänen, Petri Selonen	A UML Profile for Executable and Incremental Specification-Level Modeling.	UML	2004	DBLP DOI BibTeX RDF
10	Jordi Cabot, Ernest Teniente	Determining the Structural Events That May Violate an Integrity Constraint.	UML	2004	DBLP DOI BibTeX RDF
10	Martin Giese, Rogardt Heldal	From Informal to Formal Specifications in UML.	UML	2004	DBLP DOI BibTeX RDF
10	Dominik Stein, Stefan Hanenberg, Rainer Unland	Query Models.	UML	2004	DBLP DOI BibTeX RDF
10	Juliana Küster Filipe	Modelling Concurrent Interactions.	AMAST	2004	DBLP DOI BibTeX RDF
10	Alexandre L. Correa, Cláudia Maria Lima Werner	Precise Specification and Validation of Transactional Business Software.	RE	2004	DBLP DOI BibTeX RDF
10	Jianfei Yin, Heqing Guo, Xinyi Peng, Manshan Lin	Pattern Semantic Link: A Reusable Pattern Representation in MDA Context.	ICDCIT	2004	DBLP DOI BibTeX RDF
10	Jordi Cabot, Jordi Conesa	Automatic Integrity Constraint Evolution due to Model Subtract Operations.	ER (Workshops)	2004	DBLP DOI BibTeX RDF
10	Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau	Applying CLP to Predict Extra-Functional Properties of Component-Based Models.	ICLP	2004	DBLP DOI BibTeX RDF
10	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
10	Alessandra Cavarra, Juliana Küster Filipe	Formalizing Liveness-Enriched Sequence Diagrams Using ASMs.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
10	Tiberiu Seceleanu, Juha Plosila	Constituent Elements of a Correctness-Preserving UML Design Approach.	IFM	2004	DBLP DOI BibTeX RDF	UML, refinement, Action Systems
10	Alexander Knapp, Nora Koch, Gefei Zhang	Modeling the Structure of Web Applications with ArgoUWE.	ICWE	2004	DBLP DOI BibTeX RDF
10	James Skene, D. Davide Lamanna, Wolfgang Emmerich	Precise Service Level Agreements.	ICSE	2004	DBLP DOI BibTeX RDF
10	Gerd Wagner 0001, Grigoris Antoniou, Said Tabet, Harold Boley	The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework.	Web Intelligence	2004	DBLP DOI BibTeX RDF
10	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
10	Hua Wang 0002, Yanchun Zhang, Jinli Cao, Jian Yang	Specifying Role-Based Access Constraints with Object Constraint Language.	APWeb	2004	DBLP DOI BibTeX RDF
10	Radovan Cervenka, Ivan Trencanský, Monique Calisti, Dominic A. P. Greenwood	AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling.	AOSE	2004	DBLP DOI BibTeX RDF
10	Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister	Glass-Box and Black-Box Views on Object-Oriented Specifications.	SEFM	2004	DBLP DOI BibTeX RDF
10	Martin Gogolla	Benefits and Problems of Formal Methods.	Ada-Europe	2004	DBLP DOI BibTeX RDF
10	Ruth Breu, Gerhard Popp	Actor-Centric Modeling of User Rights.	FASE	2004	DBLP DOI BibTeX RDF
10	Franck Barbier, Brian Henderson-Sellers, Annig Le Parc, Jean-Michel Bruel	Formalization of the Whole-Part Relationship in the Unified Modeling Language.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Whole-Part relationship, UML, composition, aggregation, Object-oriented modeling
10	Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel	Towards a UML Profile for Software Product Lines.	PFE	2003	DBLP DOI BibTeX RDF
10	Philipp Meier, Martin Wirsing	Towards a Formal Specification for the AgentComponent.	Objects, Agents, and Features	2003	DBLP DOI BibTeX RDF
10	Lionel C. Briand, Jim Cui, Yvan Labiche	Towards Automated Support for Deriving Test Data from UML Statecharts.	UML	2003	DBLP DOI BibTeX RDF
10	Pieter Van Gorp, Hans Stenten, Tom Mens, Serge Demeyer	Towards Automating Source-Consistent UML Refactorings.	UML	2003	DBLP DOI BibTeX RDF
10	Pierre-Alain Muller, Philippe Studer, Jean Bézivin	Platform Independent Web Application Modeling.	UML	2003	DBLP DOI BibTeX RDF	Web, MDA, Metamodel, Model-driven engineering, PIM
10	Jan Pettersen Nytun, Christian S. Jensen	Modeling and Testing Legacy Data Consistency Requirements.	UML	2003	DBLP DOI BibTeX RDF
10	Jörg Pleumann, Stefan Haustein	A Model-Driven Runtime Environment for Web Applications.	UML	2003	DBLP DOI BibTeX RDF
10	Jordi Cabot, Antoni Olivé, Ernest Teniente	Representing Temporal Information in UML.	UML	2003	DBLP DOI BibTeX RDF
10	Wuwei Shen, Kevin J. Compton, James Huggins	A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines.	APSEC	2003	DBLP DOI BibTeX RDF
10	Herman Balsters, Bert O. de Brock	An Object-Oriented Framework for Managing Cooperating Legacy Databases.	OOIS	2003	DBLP DOI BibTeX RDF
10	Cristina Gómez 0001, Antoni Olivé	Evolving Derived Entity Types in Conceptual Schemas in the UML.	OOIS	2003	DBLP DOI BibTeX RDF
10	Jörn Guy Süß, Andreas Leicher, Fadi Chabarek	Software Model Engineering and Reuse with the Evolution and Validation Environment.	FIDJI	2003	DBLP DOI BibTeX RDF
10	Masataro Shiroiwa, Takao Miura, Isamu Shioya	Meta Model Approach for Mediation.	COMPSAC	2003	DBLP DOI BibTeX RDF	UML, Software Design, Meta Model, DFD
10	Gerd Wagner 0001	Web Rules Need Two Kinds of Negation.	PPSWR	2003	DBLP DOI BibTeX RDF
10	Christopher J. Turner, T. C. Nicholas Graham, Christopher Wolfe, Julian Ball, David Holman, Hugh D. Stewart, Arthur G. Ryman	Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations.	ASE	2003	DBLP DOI BibTeX RDF
10	Lionel C. Briand, Yvan Labiche	A UML-Based Approach to System Testing.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	Testing of object-oriented systems, UML, Testability, Sequence Diagrams, System testing, Use Cases
10	Maxim Grinev, Sergei D. Kuznetsov	UQL: A UML-based Query Language for Integrated Data.	Program. Comput. Softw.	2002	DBLP DOI BibTeX RDF
10	Sergio Luján-Mora, Juan Trujillo 0001, Il-Yeol Song	Extending the UML for Multidimensional Modeling.	UML	2002	DBLP DOI BibTeX RDF
10	Jon Whittle 0001	Transformations and Software Modeling Languages: Automating Transformations in UML.	UML	2002	DBLP DOI BibTeX RDF
10	Martin Gogolla, Brian Henderson-Sellers	Analysis of UML Stereotypes within the UML Metamodel.	UML	2002	DBLP DOI BibTeX RDF
10	Jean-Louis Sourrouille, Guy Caplat	Constraint checking in UML modeling.	SEKE	2002	DBLP DOI BibTeX RDF
10	Nasreddine Aoumeur, Gunter Saake	Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic.	CAiSE	2002	DBLP DOI BibTeX RDF
10	Andreas Leicher, Felix Bübl	External Requirements Validation for Component-Based Systems.	CAiSE	2002	DBLP DOI BibTeX RDF
10	Joseph Gil, John Howse, Stuart Kent 0001	Advanced visual modelling: beyond UML.	ICSE	2002	DBLP DOI BibTeX RDF	UML
10	Richard Widhalm, Thomas A. Mück	Web Metadata Semantics - On the Road to Well-Formed Topic Maps.	WISE (2)	2001	DBLP DOI BibTeX RDF	Semantic Web, UML, Metamodelling, Topic Maps
10	Zsigmond Pap, István Majzik, András Pataricza	Checking General Safety Criteria on UML Statecharts.	SAFECOMP	2001	DBLP DOI BibTeX RDF
10	Henrik Gustavsson, Brian Lings	CASE-Tool Interchange of Design Transformations.	BNCOD	2001	DBLP DOI BibTeX RDF
10	Gail-Joon Ahn, Michael E. Shin	Role-Based Authorization Constraints Specification Using Object Constraint Language.	WETICE	2001	DBLP DOI BibTeX RDF
10	Simon Pickin 0001, Angeles Manjarrés Riesco	Describing AI Analysis Patterns with UML.	UML	2000	DBLP DOI BibTeX RDF
10	Shane Sendall, Alfred Strohmeier	From Use Cases to System Operation Specifications.	UML	2000	DBLP DOI BibTeX RDF	Operation Specification, Unified Modeling Language, Object Constraint Language, Use Cases, Object-Oriented Software Development
10	Peter Padawitz	Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving.	UML	2000	DBLP DOI BibTeX RDF
10	John Knapman	Business-oriented Constraint Language.	UML	2000	DBLP DOI BibTeX RDF
10	John Knapman	Statistical Constraints for EAI.	UML	2000	DBLP DOI BibTeX RDF
10	David H. Akehurst	An OO Visual Language Definition Approach Supporting Multiple Views.	VL	2000	DBLP DOI BibTeX RDF
10	Marina De Vos, Dirk Vermeir	A Logic for Modeling Decision Making with Dynamic Preferences.	JELIA	2000	DBLP DOI BibTeX RDF
10	Joseph Gil, John Howse, Stuart Kent 0001	Advanced visual modeling (tutorial session): beyond UML.	ICSE	2000	DBLP DOI BibTeX RDF	UML
10	Roger Smith, Bertrand Meyer 0001, Clemens A. Szyperski, Gilda Pour	Component-Based Development? Refining the Blueprint.	TOOLS (34)	2000	DBLP DOI BibTeX RDF