Abstract is missing.
- Models. Models. Models. So What?Stephen J. Mellor. 1 [doi]
- Modeling ModelingPierre-Alain Muller, Frédéric Fondement, Benoit Baudry. 2-16 [doi]
- Representation and Traversal of Large Clabject ModelsThomas Aschauer, Gerd Dauenhauer, Wolfgang Pree. 17-31 [doi]
- Meta-model PruningSagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jézéquel. 32-46 [doi]
- A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent SystemsMarwa Shousha, Lionel C. Briand, Yvan Labiche. 47-61 [doi]
- Model Driven Performance Measurement and Assessment with MoDePeMARTMarko Boskovic, Wilhelm Hasselbring. 62-76 [doi]
- Security Analysis of a Biometric Authentication System Using UMLsec and JMLJohn Lloyd, Jan Jürjens. 77-91 [doi]
- Automatically Discovering Hidden Transformation Chaining ConstraintsRaphaël Chenouard, Frédéric Jouault. 92-106 [doi]
- CSP(M): Constraint Satisfaction Problem over ModelsÃkos Horváth, Dániel Varró. 107-121 [doi]
- Parsing SBVR-Based Controlled LanguagesMathias Kleiner, Patrick Albert, Jean Bézivin. 122-136 [doi]
- SLIM - A Lightweight Environment for Synchronous Collaborative ModelingChristian Thum, Michael Schwind, Martin Schader. 137-151 [doi]
- Language-Independent Change Management of Process ModelsChristian Gerth, Jochen Malte Küster, Gregor Engels. 152-166 [doi]
- Requirements for Practical Model Merge - An Industrial PerspectiveLars Bendix, Pär Emanuelsson. 167-180 [doi]
- Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case StudyAriadi Nugroho, Michel R. V. Chaudron. 181-195 [doi]
- Concern Visibility in Base Station Development - An Empirical InvestigationLars Pareto, Peter Eriksson, Staffan Ehnebom. 196-210 [doi]
- Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial CooperationStephan Weißleder. 211-225 [doi]
- Towards Composite Model Transformations Using Distributed Graph Transformation ConceptsStefan Jurack, Gabriele Taentzer. 226-240 [doi]
- On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph GrammarsHartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange. 241-255 [doi]
- Formal Support for QVT-Relations with Coloured Petri NetsJuan de Lara, Esther Guerra. 256-270 [doi]
- An Example Is Worth a Thousand Words: Composite Operation Modeling By-ExamplePetra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger. 271-285 [doi]
- Refactoring-Safe Modeling of Aspect-Oriented ScenariosGunter Mussbacher, Daniel Amyot, Jon Whittle. 286-300 [doi]
- Model-Based Testing Using LSCs and S2AShahar Maoz, Jani Metsä, Mika Katara. 301-306 [doi]
- Model Driven Development of Graphical User Interfaces for Enterprise Business Applications - Experience, Lessons Learnt and a Way ForwardRahul Mohan, Vinay Kulkarni. 307-321 [doi]
- Business Process Models as a Showcase for Syntax-Based Assistance in Diagram EditorsSteffen Mazanek, Mark Minas. 322-336 [doi]
- Rule-Enhanced Business Process Modeling Language for Service ChoreographiesMilan Milanovic, Dragan Gasevic, Gerd Wagner, Marek Hatala. 337-341 [doi]
- Change-Driven Model TransformationsIstván Ráth, Gergely Varró, Dániel Varró. 342-356 [doi]
- An Incremental Algorithm for High-Performance Runtime Model ConsistencyChristopher Wolfe, T. C. Nicholas Graham, W. Greg Phillips. 357-371 [doi]
- Traceability-Based Change AwarenessJonas Helming, Maximilian Koegel, Helmut Naughton, Jörn David, Aleksandar Shterev. 372-376 [doi]
- Interaction Design and Model-Driven DevelopmentLarry L. Constantine. 377 [doi]
- Towards Test-Driven Semantics SpecificationChristian Soltenborn, Gregor Engels. 378-392 [doi]
- Scalable Semantic Annotation Using Lattice-Based OntologiesMan-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly. 393-407 [doi]
- ::::OntoDSL::::: An Ontology-Based Framework for Domain-Specific LanguagesTobias Walter, Fernando Silva Parreiras, Steffen Staab. 408-422 [doi]
- Domain-Specific Languages in Practice: A User Study on the Success FactorsFelienne Hermans, Martin Pinzger, Arie van Deursen. 423-437 [doi]
- Evaluating Context Descriptions and Property Definition Patterns for Software Formal ValidationPhilippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry. 438-452 [doi]
- Anatomy of a Visual Domain-Specific Language Project in an Industrial ContextChristoph Wienands, Michael Golm. 453-467 [doi]
- A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental UncertaintyBetty H. C. Cheng, Peter Sawyer, Nelly Bencomo, Jon Whittle. 468-483 [doi]
- A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical EvaluationTao Yue, Lionel C. Briand, Yvan Labiche. 484-498 [doi]
- Polymorphic Scenario-Based Specification Models: Semantics and ApplicationsShahar Maoz. 499-513 [doi]
- Aspect Model UnweavingJacques Klein, Jörg Kienzle, Brice Morin, Jean-Marc Jézéquel. 514-530 [doi]
- Model Composition ContractsJon Oldevik, Massimiliano Menarini, Ingolf Krüger. 531-545 [doi]
- Abstracting Complex Languages through Transformation and CompositionJendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitris Kolovos, Richard F. Paige. 546-550 [doi]
- An Approach for Evolving Transformation ChainsAndrés Yie, Rubby Casallas, Dennis Wagelaar, Dirk Deridder. 551-555 [doi]
- Deterministic UML Models for Interconnected Activities and State MachinesZamira Daw, Marcus Vetter. 556-570 [doi]
- Automated Encapsulation of UML Activities for Incremental Development and VerificationFrank Alexander Kraemer, Peter Herrmann. 571-585 [doi]
- Using UML Statecharts with Knowledge Logic GuardsDoron Drusinsky, Man-tak Shing. 586-590 [doi]
- A Modeling Language for Activity-Oriented Composition of Service-Oriented Software SystemsNaeem Esfahani, Sam Malek, João Pedro Sousa, Hassan Gomaa, Daniel A. Menascé. 591-605 [doi]
- A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive SystemsFranck Fleurey, Arnor Solberg. 606-621 [doi]
- Executable Domain Specific Language for Message-Based System IntegrationMichael Shtelma, Mario Cartsburg, Nikola Milanovic. 622-626 [doi]
- Architectural Mining: The Other Side of the MDDGrady Booch. 627 [doi]
- Generic Model RefactoringsNaouel Moha, Vincent Mahé, Olivier Barais, Jean-Marc Jézéquel. 628-643 [doi]
- Constraining Type Parameters of UML 2 Templates with Substitutable ClassifiersArnaud Cuccuru, Ansgar Radermacher, Sébastien Gérard, François Terrier. 644-649 [doi]
- Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation LanguagesRodion Moiseev, Shinpei Hayashi, Motoshi Saeki. 650-664 [doi]
- OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint LanguageJoanna Chimiak-Opoka. 665-669 [doi]
- Variability within Modeling Language DefinitionsMarÃa Victoria Cengarle, Hans Grönniger, Bernhard Rumpe. 670-684 [doi]
- Variability Modelling throughout the Product Line LifecycleChrista Schwanninger, Iris Groher, Christoph Elsner, Martin Lehofer. 685-689 [doi]
- Weaving Variability into Domain MetamodelsBrice Morin, Gilles Perrouin, Philippe Lahire, Olivier Barais, Gilles Vanwormhoudt, Jean-Marc Jézéquel. 690-705 [doi]
- Automatic Domain Model Migration to Manage Metamodel EvolutionAnantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai. 706-711 [doi]
- Model Transformation by DemonstrationYu Sun, Jules White, Jeffrey G. Gray. 712-726 [doi]
- Reviving QVT Relations: Model-Based Debugging Using Colored Petri NetsManuel Wimmer, Angelika Kusel, Johannes Schönböck, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger. 727-732 [doi]
- Incremental Development of Model Transformation Chains Using Automated TestingJochen Malte Küster, Thomas Gschwind, Olaf Zimmermann. 733-747 [doi]
- Test-Driven Development of Model TransformationsPau Giner, Vicente Pelechano. 748-752 [doi]
- Educators Symposium at MODELS 2009Robert France, Martin Gogolla. 753-754 [doi]