Description |
1 online resource |
Series |
Lecture notes in computer science, 0302-9743 ; 7590 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7590.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Quantitative Reactive Models / Thomas A. Henzinger -- Bottom-Up Meta-Modelling: An Interactive Approach / Jesús Sánchez-Cuadrado, Juan de Lara and Esther Guerra -- FacadeMetamodel: Masking UML / Florian Noyrit, Sébastien Gérard and Bran Selic -- T-Square: A Domain Specific Language for Rapid Workflow Development / Fazle Rabbi and Wendy MacCaull -- Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time / Andres J. Ramirez, Betty H.C. Cheng, Nelly Bencomo and Pete Sawyer -- Dynamic Evolution of Context-Aware Systems with Models at Runtime / Germán H. Alférez and Vicente Pelechano -- An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements / François Fouquet, Grégory Nain, Brice Morin, Erwan Daubert and Olivier Barais, et al. -- Automated and Transparent Model Fragmentation for Persisting Large Models / Markus Scheidgen, Anatolij Zubow, Joachim Fischer and Thomas H. Kolbe -- Formally Defining and Iterating Infinite Models / Benoit Combemale, Xavier Thirioux and Benoit Baudry -- Query-Driven Soft Interconnection of EMF Models / Ábel Hegedüs, Ákos Horváth, István Ráth and Dániel Varró -- Modeling the Linguistic Architecture of Software Products / Jean-Marie Favre, Ralf Lämmel and Andrei Varanovich |
|
Cross-Language Support Mechanisms Significantly Aid Software Development / Rolf-Helge Pfeiffer and Andrzej Wąsowski -- Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension / Carmine Gravino, Michele Risi, Giuseppe Scanniello and Genoveffa Tortora -- Incremental Consistency Checking for Complex Design Rules and Larger Model Changes / Alexander Reder and Alexander Egyed -- Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment / Kleinner Farias, Alessandro Garcia and Carlos Lucena -- On Integrating Structure and Behavior Modeling with OCL / Lars Hamann, Oliver Hofrichter and Martin Gogolla -- Multi-perspectives on Feature Models / Julia Schroeter, Malte Lochau and Tim Winkelmann -- Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines / Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Anne Grete Eldegard and Torbjørn Syversen -- Towards Business Application Product Lines / Vinay Kulkarni, Souvik Barat and Suman Roychoudhury -- Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines / Azzam Maraee and Mira Balaban -- The Coroutine Model of Computation / Chris Shaver and Edward A. Lee |
|
Assume-Guarantee Scenarios: Semantics and Synthesis / Shahar Maoz and Yaniv Sa'ar -- An Exploratory Study of Forces and Frictions Affecting Large-Scale Model-Driven Development / Adrian Kuhn, Gail C. Murphy and C. Albert Thompson -- A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software / Yu Sun, Jeff Gray, Karlheinz Bulheller and Nicolaus von Baillou -- Managing Related Models in Vehicle Control Software Development / Rick Salay, Shige Wang and Vivien Suen -- Detecting Specification Errors in Declarative Languages with Constraints / Ethan K. Jackson, Wolfram Schulte and Nikolaj Bjørner -- From UML and OCL to Relational Logic and Back / Mirco Kuhlmann and Martin Gogolla -- On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers / Fabian Büttner, Marina Egea and Jordi Cabot -- ATLTest: A White-Box Test Generation Approach for ATL Transformations / Carlos A. González and Jordi Cabot -- Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis / Donghwan Shin, Eunkyoung Jee and Doo-Hwan Bae -- Seeing Errors: Model Driven Simulation Trace Visualization / El Arbi Aboussoror, Ileana Ober and Iulian Ober -- A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data / Razieh Behjati, Tao Yue and Lionel Briand |
|
Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System / Yihan Wu, Gang Huang, Hui Song and Ying Zhang -- Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines / Michael Vierhauser, Paul Grünbacher, Wolfgang Heider, Gerald Holl and Daniela Lettner -- Generation of Operational Transformation Rules from Examples of Model Transformations / Hajer Saada, Xavier Dolques, Marianne Huchard, Clémentine Nebut and Houari Sahraoui -- Using Feature Model to Build Model Transformation Chains / Vincent Aranega, Anne Etien and Sebastien Mosser -- A Generic Approach Simplifying Model-to-Model Transformation Chains / Gerd Kainz, Christian Buckl and Alois Knoll -- An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling / Gunnar Schulze, Joanna Chimiak-Opoka and Jim Arlow -- Model Matching for Trace Link Generation in Model-Driven Software Development / Birgit Grammel, Stefan Kastenholz and Konrad Voigt -- Matching Business Process Workflows across Abstraction Levels / Moisés Castelo Branco, Javier Troya, Krzysztof Czarnecki, Jochen Küster and Hagen Völzer -- Experiences of Applying UML/MARTE on Three Industrial Projects / Muhammad Zohaib Iqbal, Shaukat Ali, Tao Yue and Lionel Briand -- Cost Estimation for Model-Driven Engineering / Sagar Sunkle and Vinay Kulkarni |
|
Evaluating the Effort of Composing Design Models: A Controlled Experiment / Kleinner Farias, Alessandro Garcia, Jon Whittle, Christina Chavez and Carlos Lucena -- Transition to Model-Driven Engineering: What Is Revolutionary, What Remains the Same? / Jorge Aranda, Daniela Damian and Arber Borici -- Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions / Zille Huma, Christian Gerth, Gregor Engels and Oliver Juwig -- A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study / Shaukat Ali, Tao Yue, Lionel Briand and Suneth Walawege -- Sensitivity Analysis in Model-Driven Engineering / James R. Williams, Frank R. Burton, Richard F. Paige and Fiona A.C. Polack -- Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing / Shiva Nejati, Stefano Di Alesio, Mehrdad Sabetzadeh and Lionel Briand -- Weaving-Based Configuration and Modular Transformation of Multi-layer Systems / Galina Besova, Sven Walther, Heike Wehrheim and Steffen Becker -- Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering / Lionel Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh and Tao Yue -- An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design / Andrea Sindico, Marco Di Natale and Alberto Sangiovanni-Vincentelli |
Summary |
This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012. The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical sections named: metamodels and domain specific modeling; models at runtime; model management; modeling methods and tools, consistency analysis, software product lines; foundations of modeling; static analysis techniques; model testing and simulation; model transformation; model matching, tracing and synchronization; modeling practices and experience; and model analysis |
Analysis |
Computer science |
|
Computer system performance |
|
Software engineering |
|
Logic design |
|
Computer simulation |
|
Information Systems |
|
Programming Languages, Compilers, Interpreters |
|
Logics and Meanings of Programs |
|
Management of Computing and Information Systems |
|
Simulation and Modeling |
|
System Performance and Evaluation |
|
computerwetenschappen |
|
computer sciences |
|
informatiesystemen |
|
systeemanalyse |
|
systems analysis |
|
programmeertalen |
|
programming languages |
|
simulatiemodellen |
|
simulation models |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Notes |
International conference proceedings |
Bibliography |
Includes bibliographical references and author index |
Notes |
English |
Subject |
Computer software -- Development -- Congresses
|
|
Model-integrated computing -- Congresses
|
|
Model-driven software architecture -- Congresses
|
|
Informatique.
|
|
Computer software -- Development
|
|
Model-driven software architecture
|
|
Model-integrated computing
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
France, Robert (Robert B.)
|
ISBN |
9783642336669 |
|
3642336663 |
|
3642336655 |
|
9783642336652 |
|