Abstract is missing.
- Quantitative Reactive ModelsThomas A. Henzinger. 1-2 [doi]
- Bottom-Up Meta-Modelling: An Interactive ApproachJesús Sánchez Cuadrado, Juan de Lara, Esther Guerra. 3-19 [doi]
- FacadeMetamodel: Masking UMLFlorian Noyrit, Sébastien Gérard, Bran Selic. 20-35 [doi]
- □: A Domain Specific Language for Rapid Workflow DevelopmentFazle Rabbi, Wendy MacCaull. 36-52 [doi]
- Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run TimeAndres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer. 53-69 [doi]
- Dynamic Evolution of Context-Aware Systems with Models at RuntimeGermán H. Alférez, Vicente Pelechano. 70-86 [doi]
- An Eclipse Modelling Framework Alternative to Meet the Models@Runtime RequirementsFrançois Fouquet, Grégory Nain, Brice Morin, Erwan Daubert, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel. 87-101 [doi]
- Automated and Transparent Model Fragmentation for Persisting Large ModelsMarkus Scheidgen, Anatolij Zubow, Joachim Fischer, Thomas H. Kolbe. 102-118 [doi]
- Formally Defining and Iterating Infinite ModelsBenoît Combemale, Xavier Thirioux, Benoit Baudry. 119-133 [doi]
- Query-Driven Soft Interconnection of EMF ModelsÁbel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró. 134-150 [doi]
- Modeling the Linguistic Architecture of Software ProductsJean-Marie Favre, Ralf Lämmel, Andrei Varanovich. 151-167 [doi]
- Cross-Language Support Mechanisms Significantly Aid Software DevelopmentRolf-Helge Pfeiffer, Andrzej Wasowski. 168-184 [doi]
- Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code ComprehensionCarmine Gravino, Michele Risi, Giuseppe Scanniello, Genoveffa Tortora. 185-201 [doi]
- Incremental Consistency Checking for Complex Design Rules and Larger Model ChangesAlexander Reder, Alexander Egyed. 202-218 [doi]
- Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled ExperimentKleinner Farias, Alessandro Garcia, Carlos José Pereira de Lucena. 219-234 [doi]
- On Integrating Structure and Behavior Modeling with OCLLars Hamann, Oliver Hofrichter, Martin Gogolla. 235-251 [doi]
- Multi-perspectives on Feature ModelsJulia Schroeter, Malte Lochau, Tim Winkelmann. 252-268 [doi]
- Generating Better Partial Covering Arrays by Modeling Weights on Sub-product LinesMartin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Anne Grete Eldegard, Torbjørn Syversen. 269-284 [doi]
- Towards Business Application Product LinesVinay Kulkarni, Souvik Barat, Suman Roychoudhury. 285-301 [doi]
- Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling GuidelinesAzzam Maraee, Mira Balaban. 302-318 [doi]
- The Coroutine Model of ComputationChris Shaver, Edward A. Lee. 319-334 [doi]
- Assume-Guarantee Scenarios: Semantics and SynthesisShahar Maoz, Yaniv Sa'ar. 335-351 [doi]
- An Exploratory Study of Forces and Frictions Affecting Large-Scale Model-Driven DevelopmentAdrian Kuhn, Gail C. Murphy, C. Albert Thompson. 352-367 [doi]
- A Model-Driven Approach to Support Engineering Changes in Industrial Robotics SoftwareYu Sun 0002, Jeff Gray, Karlheinz Bulheller, Nicolaus von Baillou. 368-382 [doi]
- Managing Related Models in Vehicle Control Software DevelopmentRick Salay, Shige Wang, Vivien Suen. 383-398 [doi]
- Detecting Specification Errors in Declarative Languages with ConstraintsEthan K. Jackson, Wolfram Schulte, Nikolaj Bjørner. 399-414 [doi]
- From UML and OCL to Relational Logic and BackMirco Kuhlmann, Martin Gogolla. 415-431 [doi]
- On Verifying ATL Transformations Using 'off-the-shelf' SMT SolversFabian Büttner, Marina Egea, Jordi Cabot. 432-448 [doi]
- ATLTest: A White-Box Test Generation Approach for ATL TransformationsCarlos A. González, Jordi Cabot. 449-464 [doi]
- Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation AnalysisDonghwan Shin, Eunkyoung Jee, Doo-Hwan Bae. 465-479 [doi]
- Seeing Errors: Model Driven Simulation Trace VisualizationEl Arbi Aboussoror, Ileana Ober, Iulian Ober. 480-496 [doi]
- A Modeling Approach to Support the Similarity-Based Reuse of Configuration DataRazieh Behjati, Tao Yue, Lionel C. Briand. 497-513 [doi]
- Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software SystemYihan Wu, Gang Huang 0001, Hui Song, Ying Zhang. 514-530 [doi]
- Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product LinesMichael Vierhauser, Paul Grünbacher, Wolfgang Heider, Gerald Holl, Daniela Lettner. 531-545 [doi]
- Generation of Operational Transformation Rules from Examples of Model TransformationsHajer Saada, Xavier Dolques, Marianne Huchard, Clémentine Nebut, Houari A. Sahraoui. 546-561 [doi]
- Using Feature Model to Build Model Transformation ChainsVincent Aranega, Anne Etien, Sébastien Mosser. 562-578 [doi]
- A Generic Approach Simplifying Model-to-Model Transformation ChainsGerd Kainz, Christian Buckl, Alois Knoll. 579-594 [doi]
- An Approach for Synchronizing UML Models and Narrative Text in Literate ModelingGunnar Schulze, Joanna Chimiak-Opoka, Jim Arlow. 595-608 [doi]
- Model Matching for Trace Link Generation in Model-Driven Software DevelopmentBirgit Grammel, Stefan Kastenholz, Konrad Voigt. 609-625 [doi]
- Matching Business Process Workflows across Abstraction LevelsMoisés Castelo Branco, Javier Troya, Krzysztof Czarnecki, Jochen Malte Küster, Hagen Völzer. 626-641 [doi]
- Experiences of Applying UML/MARTE on Three Industrial ProjectsMuhammad Zohaib Z. Iqbal, Shaukat Ali, Tao Yue, Lionel C. Briand. 642-658 [doi]
- Cost Estimation for Model-Driven EngineeringSagar Sunkle, Vinay Kulkarni. 659-675 [doi]
- Evaluating the Effort of Composing Design Models: A Controlled ExperimentKleinner Farias, Alessandro Garcia, Jon Whittle, Christina Chavez, Carlos José Pereira de Lucena. 676-691 [doi]
- Transition to Model-Driven Engineering - What Is Revolutionary, What Remains the Same?Jorge Aranda, Daniela Damian, Arber Borici. 692-708 [doi]
- Towards an Automatic Service Discovery for UML-Based Rich Service DescriptionsZille Huma, Christian Gerth, Gregor Engels, Oliver Juwig. 709-725 [doi]
- A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case StudyShaukat Ali, Tao Yue, Lionel C. Briand, Suneth Walawege. 726-742 [doi]
- Sensitivity Analysis in Model-Driven EngineeringJames R. Williams, Frank R. Burton, Richard F. Paige, Fiona A. C. Polack. 743-758 [doi]
- Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress TestingShiva Nejati, Stefano Di Alesio, Mehrdad Sabetzadeh, Lionel C. Briand. 759-775 [doi]
- Weaving-Based Configuration and Modular Transformation of Multi-layer SystemsGalina Besova, Sven Walther, Heike Wehrheim, Steffen Becker. 776-792 [doi]
- Research-Based Innovation: A Tale of Three Projects in Model-Driven EngineeringLionel C. Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue. 793-809 [doi]
- An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based DesignAndrea Sindico, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli. 810-826 [doi]