default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMoDELS 2006: Genova, Italy
- Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio:
Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings. Lecture Notes in Computer Science 4199, Springer 2006, ISBN 3-540-45772-0
Keynote 1
- Hassan Gomaa:
A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines. 1-15
Evaluating UML
- Brian Henderson-Sellers, Cesar Gonzalez-Perez
:
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0. 16-26 - Christian F. J. Lange, Bart Du Bois, Michel R. V. Chaudron, Serge Demeyer:
An Experimental Investigation of UML Modeling Conventions. 27-41 - Greg O'Keefe:
Improving the Definition of UML. 42-56
MDA in Software Development
- Miroslaw Staron:
Adopting Model Driven Software Development in Industry - A Case Study at Two Companies. 57-72 - Santiago Ceria, Juan José Cukier:
Use Case Driven Iterative Development: Hurdles and Solutions. 73-82 - Thomas Kuhn, Reinhard Gotzhein, Christian Webel:
Model-Driven Development with SDL - Process, Tools, and Experiences. 83-97
Concrete Syntax
- Pierre-Alain Muller, Franck Fleurey, Frédéric Fondement, Michel Hassenforder, Rémi Schneckenburger, Sébastien Gérard, Jean-Marc Jézéquel:
Model-Driven Analysis and Synthesis of Concrete Syntax. 98-110 - Thomas Baar:
Correctly Defined Concrete Syntax for Visual Modeling Languages. 111-125
Applying UML to Interaction and Coordination
- Louis van Gool, Teade Punter, Marc Hamilton, Remco van Engelen:
Compositional MDA. 126-139 - Jan Van den Bergh, Karin Coninx:
CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications. 140-154
Aspects
- Awais Rashid, Ana Moreira:
Domain Models Are NOT Aspect Free. 155-169 - María Agustina Cibrán, Maja D'Hondt:
A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects. 170-184
Model Intergration
- Alanna Zito, Zinovy Diskin, Jürgen Dingel:
Package Merge in UML 2: Practice vs. Theory? 185-199 - Tom Mens, Ragnhild Van Der Straeten, Maja D'Hondt:
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis. 200-214 - Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
Merging Models with the Epsilon Merging Language (EML). 215-229
Formal Semantics of UML
- Zinovy Diskin, Jürgen Dingel:
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2. 230-244 - Ali Taleghani, Joanne M. Atlee:
Semantic Variations Among UML StateMachines. 245-259 - Dolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente:
Facilitating the Definition of General Constraints in UML. 260-274
Security
- Michael Hafner, Muhammad Alam, Ruth Breu:
Towards a MOF/QVT-Based Domain Architecture for Model Driven Security. 275-290 - Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson:
MDA-Based Re-engineering with Object-Z. 291-305 - Achim D. Brucker, Jürgen Doser, Burkhart Wolff:
A Model Transformation Semantics and Analysis Methodology for SecureUML. 306-320
Model Transformation Tools and Implementation
- David Hearnden, Michael Lawley, Kerry Raymond:
Incremental Model Transformation for the Evolution of Model-Driven Systems. 321-335 - Jesús Sánchez Cuadrado, Jesús García Molina:
A Plugin-Based Language to Experiment with Model Transformation. 336-350 - David H. Akehurst, Behzad Bordbar, M. J. Evans, W. Gareth J. Howells, Klaus D. McDonald-Maier:
SiTra: Simple Transformations in Java. 351-364
Analyzing Dynamic Models
- Vahid Garousi, Lionel C. Briand, Yvan Labiche:
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models. 365-379 - Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel:
Model Extraction Using Context Information. 380-394 - Christophe Tombelle, Gilles Vanwormhoudt:
Dynamic and Generic Manipulation of Models: From Introspection to Scripting. 395-409
Specifying Transformations
- Dániel Varró:
Model Transformation by Example. 410-424 - Enrico Biermann, Karsten Ehrig, Christian Köhler, Günter Kuhns, Gabriele Taentzer, Eduard Weiss:
Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework. 425-439 - Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow:
Model Transformations? Transformation Models! 440-453
MOF
- Marcus Alanen, Torbjörn Lundkvist, Ivan Porres:
A Mapping Language from Models to DI Diagrams. 454-468 - Marcus Alanen, Ivan Porres:
Basic Operations over Models Containing Subset and Union Properties. 469-483 - Maged Elaasar, Lionel C. Briand, Yvan Labiche:
A Metamodeling Approach to Pattern Specification. 484-498
Keynote 2
- Irun R. Cohen:
Immune System Computation and the Immunological Homunculus. 499-512
Bridging Models
- Gabriela Arévalo, Jean-Rémy Falleri, Marianne Huchard, Clémentine Nebut:
Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach. 513-527 - Gerti Kappel, Elisabeth Kapsammer, Horst Kargl, Gerhard Kramler, Thomas Reiter, Werner Retschitzegger, Wieland Schwinger, Manuel Wimmer:
Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages. 528-542 - Holger Giese, Robert Wagner:
Incremental Model Synchronization with Triple Graph Grammars. 543-557
Risk, Trust and Dependability
- Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe:
Model-Driven Assessment of Use Cases for Dependable Systems. 558-573 - Ida Hogganvik, Ketil Stølen:
A Graphical Approach to Risk Identification, Motivated by Empirical Investigations. 574-588 - Jean-Marie Mottu, Benoit Baudry, Yves Le Traon:
Reusable MDA Components: A Testing-for-Trust Approach. 589-603
Tool Environments
- Stéphane Ducasse, Tudor Gîrba:
Using Smalltalk as a Reflective Executable Meta-language. 604-618 - Björn Lundell, Brian Lings, Anna Persson, Anders Mattsson:
UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2. 619-630 - Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gervais:
Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment. 631-645
OCL
- Claudia Pons, Diego García:
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE. 646-660 - Slavisa Markovic, Thomas Baar:
An OCL Semantics Specified with QVT. 661-675 - Piotr Kosiuczenko:
Specification of Invariability in OCL. 676-691
Roundtrip Engineering
- Michal Antkiewicz, Krzysztof Czarnecki:
Framework-Specific Modeling Languages with Round-Trip Engineering. 692-706 - Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum:
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems. 707-721 - Scott A. Hendrickson, Bryan Jett, André van der Hoek:
Layered Class Diagrams: Supporting the Design Process. 722-736
Real Time and Embedded Systems
- Tim Schattkowsky, Jan Hendrik Hausmann, Gregor Engels:
Using UML Activities for System-on-Chip Design and Synthesis. 737-752 - Antonia Bertolino, Alvise Bonivento, Guglielmo De Angelis, Alberto L. Sangiovanni-Vincentelli:
Modeling and Early Performance Estimation for Network Processor Applications. 753-767 - Michael von der Beeck:
A Formal Semantics of UML-RT. 768-782
Workshops, Tutorials and Panels
- Thomas Kühne:
Workshops and Symposia at MoDELS 2006. 783-790 - Egidio Astesiano:
Tutorials at MoDELS 2006. 791-794 - Douglas C. Schmidt:
Panels at MoDELS 2006. 795
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-02-28 21:49 CET 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:
