Model-driven engineering languages and systems : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 October 4, 2013. Proceedings /
Saved in:
| Meeting name: | MODELS (Conference) (16th : 2013 : Miami, Fla.) |
|---|---|
| Imprint: | Heidelberg : Springer, 2013. |
| Description: | 1 online resource (xxviii, 792 pages) : illustrations. |
| Language: | English |
| Series: | Lecture notes in computer science, 0302-9743 ; 8107 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 8107. LNCS sublibrary. SL 2, Programming and software engineering. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11080931 |
MARC
| LEADER | 00000cam a2200000Ii 4500 | ||
|---|---|---|---|
| 001 | 11080931 | ||
| 005 | 20170630050137.7 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 131010s2013 gw a o 101 0 eng d | ||
| 003 | ICU | ||
| 040 | |a GW5XE |b eng |e rda |e pn |c GW5XE |d YDXCP |d NLGGC |d UKMGB |d COO |d ZMC |d NAM |d OHS |d OCLCO |d OCLCF |d GW5XE |d OCLCQ |d OCLCO |d OCL |d OCLCO |d EBLCP |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d DIBIB |d OCLCO |d JG0 |d MERER |d DGU | ||
| 016 | 7 | |a 016522999 |2 Uk | |
| 019 | |a 861177852 |a 934987698 |a 936312267 | ||
| 020 | |a 9783642415333 |q (electronic bk.) | ||
| 020 | |a 3642415334 |q (electronic bk.) | ||
| 020 | |z 9783642415326 | ||
| 020 | |z 3642415326 |q (print) | ||
| 020 | |z 9783642415326 |q (print) | ||
| 024 | 7 | |a 10.1007/978-3-642-41533-3 |2 doi | |
| 035 | |a (OCoLC)859764937 |z (OCoLC)861177852 |z (OCoLC)934987698 |z (OCoLC)936312267 | ||
| 050 | 4 | |a QA76.76.D47 |b M63 2013 | |
| 060 | 4 | |a QA 76.76.D47 | |
| 072 | 7 | |a UMX |2 bicssc | |
| 072 | 7 | |a UMC |2 bicssc | |
| 072 | 7 | |a COM051010 |2 bisacsh | |
| 072 | 7 | |a COM010000 |2 bisacsh | |
| 084 | |a 54.53 |2 bcl | ||
| 049 | |a MAIN | ||
| 111 | 2 | |a MODELS (Conference) |n (16th : |d 2013 : |c Miami, Fla.) |0 http://id.loc.gov/authorities/names/nb2013022386 |1 http://viaf.org/viaf/305366127 | |
| 245 | 1 | 0 | |a Model-driven engineering languages and systems : |b 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 October 4, 2013. Proceedings / |c Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke (eds.). |
| 246 | 3 | |a MODELS 2013 | |
| 264 | 1 | |a Heidelberg : |b Springer, |c 2013. | |
| 300 | |a 1 online resource (xxviii, 792 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a computer |b c |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/c | ||
| 338 | |a online resource |b cr |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/cr | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 8107 | |
| 490 | 1 | |a LNCS sublibrary. SL 2, Programming and software engineering | |
| 505 | 0 | 0 | |t Tool Support 1. |t Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem? / |r Jon Whittle [and others] -- |t Generic Model Assist / |r Friedrich Steimann and Bastian Ulke -- |t Adding Spreadsheets to the MDE Toolkit / |r Mārtiņš Francis [and others] -- |t Dependability. |t Model-Driven Extraction and Analysis of Network Security Policies / |r Salvador Martínez [and others] -- |t SafetyMet: A Metamodel for Safety Standards / |r Jose Luis de la Vara and Rajwinder Kaur Panesar-Walawege -- |t A Generic Fault Model for Quality Assurance / |r Alexander Pretschner [and others] -- |t Comprehensibility. |t Towards an Operationalization of the "Physics of Notations" for the Analysis of Visual Languages / |r Harald Störrle, Andrew Fish -- |t Teaching Model Driven Engineering from a Relational Database Perspective / |r Don Batory, Eric Latimer and Maider Azanza -- |t Big Metamodels Are Evil / |r Frédéric Fondement [and others]. |
| 505 | 8 | 0 | |t Tool Support 2. |t Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study / |r Maged Elaasar and Adam Neal -- |t Recommending Auto-completions for Software Modeling Activities / |r Tobias Kuschke, Patrick Mäder and Patrick Rempel -- |t Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples / |r Martin Faunes [and others] -- |t Testing. |t Testing M2T/T2M Transformations / |r Manuel Wimmer and Loli Burgueño -- |t An Approach to Testing Java Implementation against Its UML Class Model / |r Hector M. Chavez [and others] -- |t Automated Test Case Selection Using Feature Model: An Industrial Case Study / |r Shuai Wang [and others]. |
| 505 | 8 | 0 | |t Semantics Evolution 1. |t Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes / |r Gabriele Taentzer [and others] -- |t Fine-Grained Software Evolution Using UML Activity and Class Models / |r Walter Cazzola [and others] -- |t Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management / |r Andreas Demuth, Roberto E. Lopez-Herrejon and Alexander Egyed -- |t Verification. |t Model Checking of UML-RT Models Using Lazy Composition / |r Karolina Zurowska and Juergen Dingel -- |t Behavioural Verification in Embedded Software, from Model to Source Code / |r Anthony Fernandes Pires [and others] -- |t Formal Verification Integration Approach for DSML / |r Faiez Zalila, Xavier Crégut and Marc Pantel. |
| 505 | 8 | 0 | |t Product Lines. |t Composing Your Compositions of Variability Models / |r Mathieu Acher [and others] -- |t Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems / |r Kunming Nie [and others] -- |t Defining and Validating a Multimodel Approach for Product Architecture Derivation and Improvement / |r Javier González-Huerta, Emilio Insfrán and Silvia Abrahão -- |t Evolution 2. |t Evolution of the UML Interactions Metamodel / |r Marc-Florian Wendland, Martin Schneider and Øystein Haugen -- |t A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System / |r Asha Rajbhoj and Sreedhar Reddy -- |t On the Complex Nature of MDE Evolution / |r Regina Hebig [and others]. |
| 505 | 8 | 0 | |t Semantics. |t Simplification and Correctness of UML Class Diagrams -- Focusing on Multiplicity and Aggregation/Composition Constraints / |r Mira Balaban and Azzam Maraee -- |t Specification of Cyber-Physical Components with Formal Semantics -- Integration and Composition / |r Gabor Simko [and others] -- |t Endogenous Metamodeling Semantics for Structural UML 2 Concepts / |r Lars Hamann and Martin Gogolla -- |t Domain-Specific Modeling Languages. |t Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques / |r Florian Noyrit, Sébastien Gérard and François Terrier -- |t Towards the Notation-Driven Development of DSMLs / |r Laurent Wouters -- |t Validation of Derived Features and Well-Formedness Constraints in DSLs / |r Oszkár Semeráth, Ákos Horváth and Dániel Varró |
| 505 | 8 | 0 | |t Models@RT. |t Self-adaptation with End-User Preferences: Using Run-Time Models and Constraint Solving / |r Hui Song [and others] -- |t Runtime Model Based Management of Diverse Cloud Resources / |r Xiaodong Zhang [and others] -- |t The Semantic Web as a Software Modeling Tool: An Application to Citizen Relationship Management / |r Borislav Iordanov [and others] -- |t Design and Architecture. |t Concern-Oriented Software Design / |r Omar Alam, Jörg Kienzle and Gunter Mussbacher -- |t Analyzing Enterprise Models Using Enterprise Architecture-Based Ontology / |r Sagar Sunkle, Vinay Kulkarni and Suman Roychoudhury -- |t Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies / |r Kleinner Farias [and others]. |
| 505 | 8 | 0 | |t Model Transformation. |t Parallel Execution of ATL Transformation Rules / |r Massimo Tisi, Salvador Martínez and Hassene Choura -- |t Transformation of Models Containing Uncertainty / |r Michalis Famelis [and others] -- |t Automated Verification of Model Transformations in the Automotive Industry / |r Gehan M.K. Selim [and others] -- |t Model Analysis. |t Data-Flow Based Model Analysis and Its Applications / |r Christian Saad and Bernhard Bauer -- |t Contract-Aware Slicing of UML Class Models / |r Wuliang Sun, Robert B. France and Indrakshi Ray -- |t Usability Inspection in Model-Driven Web Development: Empirical Validation in WebML / |r Adrian Fernandez [and others] -- |t System Synthesis. |t Model-Driven Approach for Supporting the Mapping of Parallel Algorithms to Parallel Computing Platforms / |r Ethem Arkın, Bedir Tekinerdogan and Kayhan M. İmre -- |t Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications / |r Joel Greenyer and Ekkart Kindler. |
| 500 | |a International conference proceedings. | ||
| 500 | |a Includes author index. | ||
| 588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed September 24, 2013). | |
| 520 | |a This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180 submissions. They are organized in topical sections named: tool support; dependability; comprehensibility; testing; evolution; verification; product lines; semantics; domain-specific modeling languages; models@RT; design and architecture; model transformation; model analysis; and system synthesis. | ||
| 504 | |a Includes author index. | ||
| 650 | 0 | |a Computer software |x Development |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008101470 | |
| 650 | 0 | |a Model-integrated computing |v Congresses. | |
| 650 | 0 | |a Model-driven software architecture |v Congresses. | |
| 650 | 1 | 4 | |a Computer Science. |
| 650 | 2 | 4 | |a Programming Languages, Compilers, Interpreters. |
| 650 | 2 | 4 | |a Software Engineering. |
| 650 | 2 | 4 | |a Logics and Meanings of Programs. |
| 650 | 2 | 4 | |a Management of Computing and Information Systems. |
| 650 | 2 | 4 | |a Simulation and Modeling. |
| 650 | 2 | 4 | |a System Performance and Evaluation. |
| 650 | 7 | |a Computer software |x Development. |2 fast |0 (OCoLC)fst00872537 | |
| 650 | 7 | |a Model-driven software architecture. |2 fast |0 (OCoLC)fst01745121 | |
| 650 | 7 | |a Model-integrated computing. |2 fast |0 (OCoLC)fst01739357 | |
| 650 | 2 | |a Software |v Congresses. | |
| 650 | 2 | |a Computer Systems |v Congresses. | |
| 655 | 4 | |a Electronic books. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 655 | 0 | |a Electronic books. | |
| 655 | 7 | |a Ebook. |2 local | |
| 700 | 1 | |a Moreira, Ana M. D., |e editor. |0 http://id.loc.gov/authorities/names/n98880377 |1 http://viaf.org/viaf/117234474 | |
| 776 | 0 | 8 | |i Printed edition: |z 9783642415326 |
| 830 | 0 | |a Lecture notes in computer science ; |v 8107. | |
| 830 | 0 | |a LNCS sublibrary. |n SL 2, |p Programming and software engineering. | |
| 856 | 4 | 0 | |u http://link.springer.com/10.1007/978-3-642-41533-3 |y SpringerLink |
| 903 | |a HeVa | ||
| 929 | |a eresource | ||
| 999 | f | f | |i ba864e3b-7b36-5aee-a890-475785b46c99 |s 3cb2a91a-a158-5f29-baf3-37d9d5dad670 |
| 928 | |t Library of Congress classification |a QA76.76.D47 M63 2013 |l Online |c UC-FullText |u http://link.springer.com/10.1007/978-3-642-41533-3 |z SpringerLink |g ebooks |i 9891158 | ||