default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMoDELS 2009: Denver, CO, USA
- Andy Schürr, Bran Selic:
Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings. Lecture Notes in Computer Science 5795, Springer 2009, ISBN 978-3-642-04424-3
Keynote 1
- Stephen J. Mellor:
Models. Models. Models. So What? 1
(Meta-)Model Modeling and Management
- Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry:
Modeling Modeling. 2-16 - Thomas Aschauer, Gerd Dauenhauer, Wolfgang Pree:
Representation and Traversal of Large Clabject Models. 17-31 - Sagar Sen
, Naouel Moha, Benoit Baudry, Jean-Marc Jézéquel:
Meta-model Pruning. 32-46
Quantitative Modeling with UML
- Marwa Shousha, Lionel C. Briand, Yvan Labiche:
A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems. 47-61 - Marko Boskovic, Wilhelm Hasselbring:
Model Driven Performance Measurement and Assessment with MoDePeMART. 62-76 - John Lloyd, Jan Jürjens:
Security Analysis of a Biometric Authentication System Using UMLsec and JML. 77-91
Model Transformations and Constraints
- Raphaël Chenouard, Frédéric Jouault:
Automatically Discovering Hidden Transformation Chaining Constraints. 92-106 - Ákos Horváth, Dániel Varró:
CSP(M): Constraint Satisfaction Problem over Models. 107-121 - Mathias Kleiner, Patrick Albert, Jean Bézivin:
Parsing SBVR-Based Controlled Languages. 122-136
Model Management
- Christian Thum, Michael Schwind, Martin Schader:
SLIM - A Lightweight Environment for Synchronous Collaborative Modeling. 137-151 - Christian Gerth, Jochen Malte Küster, Gregor Engels:
Language-Independent Change Management of Process Models. 152-166 - Lars Bendix, Pär Emanuelsson:
Requirements for Practical Model Merge - An Industrial Perspective. 167-180
UML in Practice and Quality Assurance
- Ariadi Nugroho, Michel R. V. Chaudron:
Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study. 181-195 - Lars Pareto, Peter S. Eriksson, Staffan Ehnebom:
Concern Visibility in Base Station Development - An Empirical Investigation. 196-210 - Stephan Weißleder:
Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation. 211-225
Formalization of Model Transformations
- Stefan Jurack, Gabriele Taentzer:
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts. 226-240 - Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange:
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars. 241-255 - Juan de Lara, Esther Guerra:
Formal Support for QVT-Relations with Coloured Petri Nets. 256-270
Scenario Modeling
- Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger:
An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example. 271-285 - Gunter Mussbacher, Daniel Amyot, Jon Whittle:
Refactoring-Safe Modeling of Aspect-Oriented Scenarios. 286-300 - Shahar Maoz, Jani Metsä, Mika Katara:
Model-Based Testing Using LSCs and S2A. 301-306
Business Application Development
- Rahul Mohan, Vinay Kulkarni:
Model Driven Development of Graphical User Interfaces for Enterprise Business Applications - Experience, Lessons Learnt and a Way Forward. 307-321 - Steffen Mazanek, Mark Minas:
Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors. 322-336 - Milan Milanovic, Dragan Gasevic, Gerd Wagner, Marek Hatala:
Rule-Enhanced Business Process Modeling Language for Service Choreographies. 337-341
Model Synchronisation and Change Propagation
- István Ráth, Gergely Varró, Dániel Varró:
Change-Driven Model Transformations. 342-356 - Christopher Wolfe, T. C. Nicholas Graham, W. Greg Phillips:
An Incremental Algorithm for High-Performance Runtime Model Consistency. 357-371 - Jonas Helming, Maximilian Koegel, Helmut Naughton, Jörn David, Aleksandar Shterev:
Traceability-Based Change Awareness. 372-376
Keynote 2
- Larry L. Constantine:
Interaction Design and Model-Driven Development. 377
Language Specification and Annotation
- Christian Soltenborn, Gregor Engels:
Towards Test-Driven Semantics Specification. 378-392 - Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly:
Scalable Semantic Annotation Using Lattice-Based Ontologies. 393-407 - Tobias Walter, Fernando Silva Parreiras, Steffen Staab:
OntoDSL: An Ontology-Based Framework for Domain-Specific Languages. 408-422
Domain-Specific Languages
- Felienne Hermans, Martin Pinzger, Arie van Deursen:
Domain-Specific Languages in Practice: A User Study on the Success Factors. 423-437 - Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry:
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. 438-452 - Christoph Wienands, Michael Golm:
Anatomy of a Visual Domain-Specific Language Project in an Industrial Context. 453-467
Model-Based Analysis
- Betty H. C. Cheng, Peter Sawyer, Nelly Bencomo, Jon Whittle:
A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty. 468-483 - Tao Yue, Lionel C. Briand, Yvan Labiche:
A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation. 484-498 - Shahar Maoz:
Polymorphic Scenario-Based Specification Models: Semantics and Applications. 499-513
Model (De-)Composition and Abstractio
- Jacques Klein, Jörg Kienzle, Brice Morin, Jean-Marc Jézéquel:
Aspect Model Unweaving. 514-530 - Jon Oldevik, Massimiliano Menarini, Ingolf Krüger:
Model Composition Contracts. 531-545 - Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos, Richard F. Paige:
Abstracting Complex Languages through Transformation and Composition. 546-550 - Andrés Yie, Rubby Casallas, Dennis Wagelaar, Dirk Deridder:
An Approach for Evolving Transformation Chains. 551-555
Distributed Software Development
- Zamira Daw, Marcus Vetter:
Deterministic UML Models for Interconnected Activities and State Machines. 556-570 - Frank Alexander Kraemer, Peter Herrmann:
Automated Encapsulation of UML Activities for Incremental Development and Verification. 571-585 - Doron Drusinsky, Man-tak Shing:
Using UML Statecharts with Knowledge Logic Guards. 586-590
Service and Business Process Integration
- Naeem Esfahani, Sam Malek, João Pedro Sousa, Hassan Gomaa, Daniel A. Menascé:
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems. 591-605 - Franck Fleurey, Arnor Solberg:
A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems. 606-621 - Michael Shtelma, Mario Cartsburg, Nikola Milanovic:
Executable Domain Specific Language for Message-Based System Integration. 622-626
Keynote 3
- Grady Booch:
Architectural Mining: The Other Side of the MDD. 627
Genericity and Constraints
- Naouel Moha, Vincent Mahé, Olivier Barais, Jean-Marc Jézéquel:
Generic Model Refactorings. 628-643 - Arnaud Cuccuru, Ansgar Radermacher, Sébastien Gérard, François Terrier:
Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers. 644-649 - Rodion Moiseev, Shinpei Hayashi, Motoshi Saeki:
Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages. 650-664 - Joanna Chimiak-Opoka:
OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language. 665-669
Variability Management
- María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
Variability within Modeling Language Definitions. 670-684 - Christa Schwanninger, Iris Groher, Christoph Elsner, Martin Lehofer:
Variability Modelling throughout the Product Line Lifecycle. 685-689 - Brice Morin, Gilles Perrouin, Philippe Lahire, Olivier Barais, Gilles Vanwormhoudt, Jean-Marc Jézéquel:
Weaving Variability into Domain Metamodels. 690-705 - Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai:
Automatic Domain Model Migration to Manage Metamodel Evolution. 706-711
Model Transformation Engineering
- Yu Sun, Jules White, Jeff Gray:
Model Transformation by Demonstration. 712-726 - Manuel Wimmer, Angelika Kusel, Johannes Schönböck, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger:
Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets. 727-732 - Jochen Malte Küster, Thomas Gschwind, Olaf Zimmermann:
Incremental Development of Model Transformation Chains Using Automated Testing. 733-747 - Pau Giner, Vicente Pelechano:
Test-Driven Development of Model Transformations. 748-752
Symposium
- Robert B. France, Martin Gogolla:
Educators' Symposium at MODELS 2009. 753-754
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-22 02:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
