Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Eric Cariou, Antoine Beugnard |
The Specification of UML Collaborations as Interaction Components. |
UML |
2002 |
DBLP DOI BibTeX RDF |
UML collaborations, specification methodology, interaction abstractions, interaction components |
1 | David H. Akehurst, Stuart Kent 0001 |
A Relational Approach to Defining Transformations in a Metamodel. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Dániel Varró, András Pataricza |
Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models. |
UML |
2002 |
DBLP DOI BibTeX RDF |
refinement, model transformation, metamodeling, formal semantics, graph transformation |
1 | Miguel de Miguel, Jean Jourdan, Serge Salicki |
Practical Experiences in the Application of MDA. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | José M. Álvarez 0003, Andy Evans, Paul Sammut |
Mapping between Levels in the Metamodel Architecture. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sherif M. Yacoub, Hany H. Ammar |
UML Support for Designing Software Systems as a Composition of Design Patterns. |
UML |
2001 |
DBLP DOI BibTeX RDF |
Pattern-Oriented Design, Design Patterns and Pattern Composition |
1 | Michael von der Beeck |
Formalization of UML-Statecharts. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Kuske |
A Formal Semantics of UML State Machines Based on Structured Graph Transformation. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Shane Sendall, Alfred Strohmeier |
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML. |
UML |
2001 |
DBLP DOI BibTeX RDF |
Software System Specification, Unified Modeling Language (UML), Concurrent Programming, Timing Constraints, Object Constraint Language (OCL), Pre- and Postcondition |
1 | Kenneth Baclawski, Mieczyslaw M. Kokar, Paul A. Kogut, Lewis Hart, Jeffrey E. Smith, William S. Holmes III, Jerzy Letkowski, Michael L. Aronson |
Extending UML to Support Ontology Engineering for the Semantic Web. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Engels, Reiko Heckel, Jochen Malte Küster |
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. |
UML |
2001 |
DBLP DOI BibTeX RDF |
behavioral consistency, meta modeling, model verification |
1 | Pierre Metz, John O'Brien, Wolfgang Weber 0006 |
Against Use Case Interleaving. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat |
A New UML Profile for Real-Time System Formal Design and Validation. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gonzalo Génova, Juan Lloréns, Paloma Martínez |
Semantics of the Minimum Multiplicity in Ternary Associations in UML. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Colin Atkinson 0001, Thomas Kühne 0001 |
The Essence of Multilevel Metamodeling. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | James E. Rumbaugh |
The Preacher at Arrakeen. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marc Lettrari, Jochen Klose |
Scenario-Based Monitoring and Testing of Real-Time UML Models. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Esperanza Marcos, Belén Vela, José María Cavero |
Extending UML for Object-Relational Database Design. |
UML |
2001 |
DBLP DOI BibTeX RDF |
Oracle8i, UML, Design Methodology, Database Design, Stereotypes, Object-Relational Databases, UML extensions, SQL:1999 |
1 | Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper 0001, H. B. M. Jonkers |
A Specification Model for Interface Suites. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Bente Anda, Hege Dreiem, Dag I. K. Sjøberg, Magne Jørgensen |
Estimating Software Development Effort Based on Use Cases-Experiences from Industry. |
UML |
2001 |
DBLP DOI BibTeX RDF |
estimation, Use cases, industrial experience |
1 | Rik Eshuis, Roel J. Wieringa |
An Execution Algorithm for UML Activity Graphs. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Frank Devos, Eric Steegmans |
The Message Paradigm in Object-Oriented Analysis. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marlon Dumas, Arthur H. M. ter Hofstede |
UML Activity Diagrams as a Workflow Specification Language. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gogolla, Cris Kobryn (eds.) |
«UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Crettaz, Mohamed Mancona Kandé, Shane Sendall, Alfred Strohmeier |
Integrating the ConcernBASE Approach with SADL. |
UML |
2001 |
DBLP DOI BibTeX RDF |
Structural Architecture Description, SADL, Advanced Separation of Concerns, Unified Modeling Language, UML, Software Architecture |
1 | María Victoria Cengarle, Alexander Knapp |
A Formal Semantics for OCL 1.4. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Werner Damm |
Understanding UML - Pains and Rewards. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Heinrich Hußmann |
Workshops and Tutorials at the UML 2001 Conference. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gerson Sunyé, Damien Pollet, Yves Le Traon, Jean-Marc Jézéquel |
Refactoring UML Models. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | José M. Álvarez 0003, Tony Clark 0001, Andy Evans, Paul Sammut |
An Action Semantics for MML. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer |
A Visualization of OCL Using Collaborations. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Grassi, Raffaela Mirandola |
UML Modelling and Performance Analysis of Mobile Software Architectures. |
UML |
2001 |
DBLP DOI BibTeX RDF |
Mobile components, Distributed systems, Performance analysis, Extensions, Architecture modelling |
1 | Elizabeth Latronico, Philip Koopman |
Representing Embedded System Sequence Diagrams as a Formal Language. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Lionel C. Briand, Yvan Labiche |
A UML-Based Approach to System Testing. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | David H. Akehurst, Behzad Bordbar |
On Querying UML Data Models with OCL. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Torben Weis, Christian Becker 0001, Kurt Geihs, Noël Plouzeau |
A UML Meta-model for Contract Aware Components. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | John Mylopoulos, Manuel Kolp, Jaelson Castro |
UML for Agent-Oriented Software Development: The Tropos Proposal. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Emil Sekerinski, Rafik Zurob |
iState: A Statechart Translator. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Birgit Demuth, Heinrich Hußmann, Sten Loecher |
OCL as a Specification Language for Business Rules in Database Applications. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Perdita Stevens |
On Associations in the Unified Modelling Language. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Xuandong Li, Cui Meng, Yu Pei 0001, Jianhua Zhao, Guoliang Zheng |
Timing Analysis of UML Activity Diagrams. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Heinrich Hußmann, Birgit Demuth, Frank Finger |
Modular Architecture for a Toolset Supporting OCL. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Luca Pazzi |
Part-Whole Statecharts for the Explicit Representation of Compound Behaviors. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Pinheiro da Silva, Norman W. Paton |
UMLi: The Unified Modeling Language for Interactive Applications. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Amyot, Gunter Mussbacher |
On the Extension of UML with Use Case Maps Concepts. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Mark Richters, Martin Gogolla |
Validating UML Models and OCL Constraints. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Dorina C. Petriu, Yimei Sun |
Consistent Behaviour Representation in Activity and Sequence Diagrams. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Peter Graubmann, Ekkart Rudolph |
HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing. |
UML |
2000 |
DBLP DOI BibTeX RDF |
distributed systems, software engineering, real time systems, UML, testing, telecommunication, Sequence Diagrams, Use Cases, MSC, OO |
1 | Colin Atkinson 0001, Thomas Kühne 0001 |
Strict Profiles: Why and How. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Jardim Nunes, João Falcão e Cunha |
Towards a UML profile for interaction design: the Wisdom approach. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Weigert, David Garlan, John Knapman, Birger Møller-Pedersen, Bran Selic |
Modeling of Architectures with UML (Panel). |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Hennicker, Nora Koch |
A UML-based Methodology for Hypermedia Design. |
UML |
2000 |
DBLP DOI BibTeX RDF |
Systematic Development, Unified Modeling Language, Web Engineering, Design Method, UML Extension, Hypermedia System |
1 | Aynur Abdurazik, A. Jefferson Offutt |
Using UML Collaboration Diagrams for Static Checking and Test Generation. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Raffaela Mirandola, Vittorio Cortellessa |
UML Based Performance Modeling of Distributed Systems. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Steve Cook |
The UML family: Profiles, Prefaces and Packages. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Cris Kobryn |
Architectural Patterns for Metamodeling: A Hitchhikers Guide to the UML Metaverse. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Masaaki Mizuno, Gurdip Singh, Mitchell L. Neilsen |
A Structured Approach to Develop Concurrent Programs in UML. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Steimann |
A Radical Revision of UML's Role Concept. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Anneke Kleppe, Jos Warmer |
Extending OCL to include Actions. |
UML |
2000 |
DBLP DOI BibTeX RDF |
UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions |
1 | Alain Le Guennec, Gerson Sunyé, Jean-Marc Jézéquel |
Precise Modeling of Design Patterns. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Mancona Kandé, Alfred Strohmeier |
Towards a UML Profile for Software Architecture Descriptions. |
UML |
2000 |
DBLP DOI BibTeX RDF |
Software architecture abstractions, software architecture descrip-tion, architectural viewpoint, UML, component, configuration, ADL, connector, architectural modeling, architectural view |
1 | Michelle Chabrol, David Sarramia |
Object Oriented Methodology based on UML for Urban Traffic System Modeling. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | David Garlan, Andrew Kompanek |
Reconciling the Needs of Architectural Description with Object-Modeling Notations. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Simon Pickin 0001, Angeles Manjarrés Riesco |
Describing AI Analysis Patterns with UML. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
1 | Patricia Vilain, Daniel Schwabe, Clarisse Sieckenius de Souza |
A Diagrammatic Tool for Representing User Interaction in UML. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Andy Evans, Stuart Kent 0001, Bran Selic (eds.) |
«UML» 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Peter Padawitz |
Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Felfernig, Dietmar Jannach, Markus Zanker |
Contextual Diagrams as Structuring Mechanisms for Designing Configuration Knowledge Bases in UML. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | John Knapman |
Business-oriented Constraint Language. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Miro Casanova, Thomas Wallet, Maja D'Hondt |
Ensuring Quality of Geographic Data with UML and OCL. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Alistair Barros, Keith Duddy, Michael Lawley, Zoran Milosevic, Kerry Raymond, Andrew Wood |
Processes, Roles, and Events: UML Concepts for Enterprise Architecture. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gunnar Övergaard, Karin Palmkvist |
Interacting Subsystems in UML. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer |
Consistency Checking and Visualization of OCL Constraints. |
UML |
2000 |
DBLP BibTeX RDF |
|
1 | Christian Heide Damm, Klaus Marius Hansen, Michael Thomsen, Michael Tyrsted |
Supporting Several Levels of Restriction in the UML. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Eugen Brenner, Ivo Derado |
UML Extensions for ASAM-GDI Device Capability Description. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Alain Wegmann, Guy Genilloud |
The Roles of "Roles" in Use Case Diagrams. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Siobhán Clarke |
Composing Design Models: An Extension to the UML. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001 |
Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. |
UML |
2000 |
DBLP DOI BibTeX RDF |
UML meta model, precise behavioral semantics, graph transformation, statechart diagrams |
1 | Gihwon Kwon |
Rewrite rules and Operational Semantics for Model Checking UML Statecharts. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | John Knapman |
Statistical Constraints for EAI. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing |
Correct Realization of Interface Constraints with OCL. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Mark Richters, Martin Gogolla |
A Metamodel for OCL. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Gunnar Övergaard |
A Formal Approach to Collaborations in the Unified Modeling Language |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andy Evans, Stuart Kent 0001 |
Core Meta-Modelling Semantics of UML: The pUML Approach. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Brian Henderson-Sellers, Franck Barbier |
Black and White Diamonds. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jean Bézivin, Pierre-Alain Muller (eds.) |
The Unified Modeling Language, «UML»'98: Beyond the Notation, First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ferenc Dósa Rácz, Kai Koskimies |
Tool-Supported Compressing of UML Class Diagrams. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Luigia Petre, Ralph-Johan Back, Ivan Paltor |
Analysing UML Use Cases as Contracts. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Tony Clark 0001 |
Type Checking UML Static Diagrams. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Shane Sendall, Alfred Strohmeier |
UML Based Fusion Analysis Applied to a Bank Case Study. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Serge Demeyer, Stéphane Ducasse, Sander Tichelaar |
Why Unified is not Universal? UML Shortcomings for Coping with Round-trip Engineering. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Mariano Belaunde |
A Pragmatic Approach for Building a Flexible UML Model Repository. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Dominikus Herzberg |
UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gogolla, Oliver Radfelder, Mark Richters |
Towards Three-Dimensional Animation of UML Diagrams. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Richard F. Paige, Jonathan S. Ostroff |
A Comparison of the Business Object Notation and the Unified Modelling Language. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz |
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Baumeister, Nora Koch, Luis Mandel |
Towards a UML Extension for Hypermedia Design. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Berner, Martin Glinz, Stefan Joos |
A Classification of Stereotypes for Object-Oriented Modeling Languages. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Marwan Abi-Antoun, Nenad Medvidovic |
Enabling the Refinement of a Software Architecture into a Design. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|