Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings / [electronic resource] : edited by Ana Moreira, Bernhard Sch�atz, Jeff Gray, Antonio Vallecillo, Peter Clarke. - XXVIII, 792 p. 299 illus. online resource. - Lecture Notes in Computer Science, 8107 0302-9743 ; . - Lecture Notes in Computer Science, 8107 .

Tool support -- Dependability -- Comprehensibility -- Testing -- Evolution -- Verification -- Product lines -- Semantics -- Domain-specific modeling languages -- Design and architecture -- Model transformation -- Model analysis.- System synthesis.

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.

9783642415333

10.1007/978-3-642-41533-3 doi


Computer science.
Computer system failures.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Computer simulation.
Management information systems.
Computer Science.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Simulation and Modeling.
System Performance and Evaluation.

QA76.7-76.73 QA76.76.C65

005.13