| Variant title |
MODELS 2012 |
| Series |
Lecture notes in computer science, 0302-9743 ; 7590
Lecture notes in computer science ; 7590. ^A466336
|
| 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 tun 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. |
| Contents |
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. |
| Contents |
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. |
| Contents |
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. |
| Contents |
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. |
| General note | International conference proceedings. |
| Bibliography note | Includes bibliographical references and author index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2012947524 |
| ISBN | 9783642336652 (pbk. : alk. paper) |
| ISBN | 3642336655 (pbk. : alk. paper) |
