TY  - BOOK
AU  - Moreira,Ana
AU  - Schätz,Bernhard
AU  - Gray,Jeff
AU  - Vallecillo,Antonio
AU  - Clarke,Peter
ED  - SpringerLink (Online service)
TI  - Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642415333
AV  - QA76.7-76.73 
U1  - 005.13 23
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer
KW  - Computer science
KW  - Computer system failures
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Computer simulation
KW  - Management information systems
KW  - Computer Science
KW  - Programming Languages, Compilers, Interpreters
KW  - Software Engineering
KW  - Logics and Meanings of Programs
KW  - Management of Computing and Information Systems
KW  - Simulation and Modeling
KW  - System Performance and Evaluation
N1  - Tool support -- Dependability -- Comprehensibility -- Testing -- Evolution -- Verification -- Product lines -- Semantics -- Domain-specific modeling languages -- Design and architecture -- Model transformation -- Model analysis.- System synthesis
N2  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-41533-3
ER  -