Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Stephan Flake, Wolfgang Müller 0003 |
An ASM Definition of the Dynamic OCL 2.0 Semantics. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hanna Bauerdick, Martin Gogolla, Fabian Gutsche |
Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Martin Hassler |
Modeling Business Processes in Web Applications with ArgoUWE. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Baar, Alfred Strohmeier, Ana M. D. Moreira, Stephen J. Mellor (eds.) |
«UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Geri Georg, Raghu Reddy, Robert B. France |
Specifying Cross-Cutting Requirement Concerns. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yanbing Jiang, Weizhong Shao, Lu Zhang 0023, Zhiyi Ma, Xiangwen Meng, Haohai Ma |
On the Classification of UML's Meta Model Extension Mechanism. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | H. Abie, Demissie B. Aredo, T. Kristoffersen, Shahrzade Mazaher, T. Raguin |
Integrating a Security Requirement Language with UML. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Susumu Hayashi, Pan YiBing, Masami Sato, Kenji Mori, Sul Sejeon, Shuusuke Haruna |
Test Driven Development of UML Models with SMART Modeling System. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens |
Supporting Model Refactorings Through Behaviour Inheritance Consistencies. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Dániel Varró, András Pataricza |
Generic and Meta-transformations for Model Transformation Engineering. |
UML |
2004 |
DBLP DOI BibTeX RDF |
meta-transformation, generic transformation, model transformation, metamodeling |
1 | Alexandre L. Correa, Cláudia Maria Lima Werner |
Applying Refactoring Techniques to UML/OCL Models. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jürjens, Pasha Shabalin |
Automated Verification of UMLsec Models for Security Requirements. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, Robert B. France, James M. Bieman |
Model Composition Directives. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | José Ambrosio Toval Álvarez |
Workshops at the UML 2004 Conference. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Risto Pitkänen, Petri Selonen |
A UML Profile for Executable and Incremental Specification-Level Modeling. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt |
An OCL Formulation of UML2 Template Binding. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jordi Cabot, Ernest Teniente |
Determining the Structural Events That May Violate an Integrity Constraint. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta |
A UML Profile to Model Mobile Systems. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Iris Reinhartz-Berger, Arnon Sturm |
Behavioral Domain Analysis - The Application-Based Domain Modeling Approach. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Haohai Ma, Weizhong Shao, Lu Zhang 0023, Yanbing Jiang |
Applying OO Metrics to Assess UML Meta-models. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Simone Röttger, Steffen Zschaler |
Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag |
Deductive Verification of UML Models in TLPVS. |
UML |
2004 |
DBLP DOI BibTeX RDF |
Deductive Verification, UML, Semantics, Formal Verification, Temporal Logic, State Machines, PVS |
1 | Martin Giese, Rogardt Heldal |
From Informal to Formal Specifications in UML. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Dorin Bogdan Petriu, C. Murray Woodside |
A Metamodel for Generating Performance Models from UML Designs. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Eduardo Fernández-Medina, Mario Piattini |
Extending OCL for Secure Database Development. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter Dolog, Wolfgang Nejdl |
Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Alain Muller, Didier Bresch, Philippe Studer |
Model-Driven Architecture for Automatic-Control: An Experience Report. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Stein, Stefan Hanenberg, Rainer Unland |
Query Models. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Gaafar, Sherif Sakr |
Towards a Framework for Mapping Between UML/OCL and XML/XQuery. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ezra Kaahwa Mugisa |
Tutorials at the UML 2004 Conference. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Amador Durán 0001, Beatriz Bernárdez 0001, Marcela Genero, Mario Piattini |
Empirically Driven Use Case Metamodel Evolution. |
UML |
2004 |
DBLP DOI BibTeX RDF |
metamodel evolution, use cases, empirical software engineering |
1 | Agustín Goñi, Yadran Eterovic |
Building Precise UML Constructs to Model Concurrency Using OCL. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrew J. Bennett, A. J. Field, C. Murray Woodside |
Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sadahiro Isoda |
A Critique of UML's Definition of the Use-Case Class. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Lionel C. Briand, Jim Cui, Yvan Labiche |
Towards Automated Support for Deriving Test Data from UML Statecharts. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Isabel Nunes |
An OCL Extension for Low-Coupling Preserving Contracts. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | João Araújo 0001 |
Tutorials at the UML 2003 Conference. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Marc Lohmann, Stefan Sauer 0001, Tim Schattkowsky |
ProGUM-Web: Tool Support for Model-Based Development of Web Applications. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Pieter Van Gorp, Hans Stenten, Tom Mens, Serge Demeyer |
Towards Automating Source-Consistent UML Refactorings. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres |
A Workbench to Experiment on New Model Engineering Applications. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Subash Shankar, Sinan Asa |
Formal Semantics of UML with Real-Time Constructs. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Martin Fowler |
What Is the Point of the UML? |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Egyed |
Compositional and Relational Reasoning during Class Abstraction. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Herman Balsters |
Modelling Database Views with Derived Classes in the UML/OCL-Framework. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Porres |
Model Refactorings as Rule-Based Update Transformations. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Peter Dolog, Wolfgang Nejdl |
Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems. |
UML |
2003 |
DBLP DOI BibTeX RDF |
adaptive web-based systems, the UML state diagrams, generator, XMI |
1 | Alexander Christoph, Matthias M. Müller |
GREAT: UML Transformation Tool for Porting Middleware Applications. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Khaled Alghathbar, Duminda Wijesekera |
Consistent and Complete Access Control Policies in Use Cases. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Yaojin Yang, Jianli Xu |
Encoding Informal Architectural Descriptions with UML: An Experience Report. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jean Bézivin, Nicolas Farcet, Jean-Marc Jézéquel, Benoît Langlois, Damien Pollet |
Reflective Model Driven Engineering. |
UML |
2003 |
DBLP DOI BibTeX RDF |
model transformation, model-driven engineering |
1 | Friedrich Steimann, Jens Gößner, Thomas A. Mück |
On the Key Role of Compositioning Object-Oriented Modelling. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | David N. Jansen, Holger Hermanns, Joost-Pieter Katoen |
A QoS-Oriented Extension of UML Statecharts. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Orest Pilskalns, Anneliese Amschler Andrews, Sudipto Ghosh, Robert B. France |
Rigorous Testing by Merging Structural and Behavioral UML Representations. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Peter Coad |
Agile Processes: Developing Your Own "Secret Recipes". |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gogolla, Jörn Bohling, Mark Richters |
Validation of UML and OCL Models by Automatic Snapshot Generation. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jürjens |
Developing Safety-Critical Systems with UML. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Perdita Stevens, Jon Whittle 0001, Grady Booch (eds.) |
«UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jörn Guy Süß, Andreas Leicher, Herbert Weber, Ralf-Detlef Kutsche |
Model-Centric Engineering with the Evolution and Validation Environment. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
1 | Jan Pettersen Nytun, Christian S. Jensen |
Modeling and Testing Legacy Data Consistency Requirements. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Pleumann, Stefan Haustein |
A Model-Driven Runtime Environment for Web Applications. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jordi Cabot, Antoni Olivé, Ernest Teniente |
Representing Temporal Information in UML. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Øystein Haugen, Ketil Stølen |
STAIRS - Steps to Analyze Interactions with Refinement Semantics. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Engels, Reiko Heckel, Jochen Malte Küster |
The Consistency Workbench: A Tool for Consistency Management in UML-Based Development. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ragnhild Van Der Straeten, Tom Mens, Jocelyn Simmonds, Viviane Jonckers |
Using Description Logic to Maintain Consistency between UML Models. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Marcus Alanen, Ivan Porres |
Difference and Union of Models. |
UML |
2003 |
DBLP DOI BibTeX RDF |
delta calculation, revision control, UML, metamodelling |
1 | Ana M. D. Moreira |
Workshops at the UML 2003 Conference. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ákos Schmidt, Dániel Varró |
CheckVML: A Tool for Model Checking Visual Modeling Languages. |
UML |
2003 |
DBLP DOI BibTeX RDF |
model checking, formal verification, metamodeling, graph transformation, visual modeling languages |
1 | Nicolas F. Rouquette |
UML/MDA Reality Check: Heterogenous Architecture Style. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jon Whittle 0001 |
Workshops and Tutorials at the UML 2002 Conference. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Andrey Naumenko, Alain Wegmann |
A Metamodel for the Unified Modeling Language. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Bran Selic |
Does Your Software Creak as It Runs? |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tim Schattkowsky, Marc Lohmann |
Rapid Development of Modular Dynamic Web Sites Using UML. |
UML |
2002 |
DBLP DOI BibTeX RDF |
WWW, Unified Modeling Language, Code Generation, Hypermedia, Object-Oriented Design |
1 | Michael Jackson 0001 |
Descriptions in Software Development. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Peter Fröhlich 0001, Zaijun Hu, Manfred Schoelzke |
Using UML for Information Modeling in Industrial Systems with Multiple Hierarchies. |
UML |
2002 |
DBLP DOI BibTeX RDF |
Metamodelling, Business modelling, Industrial experience |
1 | Sabri Pllana, Thomas Fahringer |
On Customizing the UML for Modeling Performance-Oriented Applications. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Steimann, Thomas Kühne 0001 |
A Radical Reduction of UML's Core Semantics. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Colin Atkinson 0001, Thomas Kühne 0001, Brian Henderson-Sellers |
Stereotypical Encounters of the Third Kind. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Francesca Basanieri, Antonia Bertolino, Eda Marchetti |
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Marko Boger, Mario Jeckle, Stefan Müller, Jens Fransson |
Diagram Interchange for UML. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Luján-Mora, Juan Trujillo 0001, Il-Yeol Song |
Extending the UML for Multidimensional Modeling. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Sturm, Jesco von Voss, Marko Boger |
Generating Code from UML with Velocity Templates. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Achim D. Brucker, Burkhart Wolff |
HOL-OCL: Experiences, Consequences and Design Choices. |
UML |
2002 |
DBLP DOI BibTeX RDF |
refinement, OCL, formal semantics, constraint languages |
1 | Jan Jürjens |
UMLsec: Extending UML for Secure Systems Development. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Engels, Reiko Heckel, Jochen Malte Küster, Luuk Groenewegen |
Consistency-Preserving Model Evolution through Transformations. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker |
Configuration Knowledge Representation Using UML/OCL. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gonzalo Génova, Juan Lloréns, Víctor Quintana |
Digging into Use Case Relationships. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Charles André, Marie-Agnès Peraldi-Frati, Jean-Paul Rigault |
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | David Garlan |
Software, Heal Thyself! |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tony Clark 0001, Andy Evans, Stuart Kent 0001 |
A Metamodel for Package Extension with Renaming. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jan Øyvind Aagedal, Earl F. Ecklund Jr. |
Modelling QoS: Towards a UML Profile. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Luis E. Anido-Rifón, Manuel Caeiro, Judith S. Rodríguez, Juan Manuel Santos |
Applying MDA Concepts to Develop a Domain CORBA Facility for E-learning. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jon Whittle 0001 |
Transformations and Software Modeling Languages: Automating Transformations in UML. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jens Bæk Jørgensen, Søren Christensen |
Executable Design Models for a Pervasive Healthcare Middleware System. |
UML |
2002 |
DBLP DOI BibTeX RDF |
detailed behaviour, pervasive and mobile computing, supplementing UML, middleware, Petri nets, system design, Executable models, CPN |
1 | Andreas Dietzsch |
Adapting the UML to Business Modelling's Needs - Experiences in Situational Method Engineering. |
UML |
2002 |
DBLP DOI BibTeX RDF |
linking business and technical requirements, application and extensions of the UML, situational method engineering |
1 | Martin Gogolla, Brian Henderson-Sellers |
Analysis of UML Stereotypes within the UML Metamodel. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Flake, Wolfgang Müller 0003 |
A UML Profile for Real-Time Constraints with the OCL. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mei-Huei Tang, Mei-Hwa Chen |
Measuring OO Design Metrics from UML. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Torsten Lodderstedt, David A. Basin, Jürgen Doser |
SecureUML: A UML-Based Modeling Language for Model-Driven Security. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Jézéquel, Heinrich Hußmann, Stephen Cook 0001 (eds.) |
UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings |
UML |
2002 |
DBLP DOI BibTeX RDF |
|