TY  - BOOK
AU  - Moreira,Ana
AU  - Schätz,Bernhard
AU  - Gray,Jeff
AU  - Vallecillo,Antonio
AU  - Clarke,Peter
TI  - Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings 
SN  - 9783642415333
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
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
N1  - Tool support -- Dependability -- Comprehensibility -- Testing -- Evolution -- Verification -- Product lines -- Semantics -- Domain-specific modeling languages -- Design and architecture -- Model transformation -- Model analysis.- System synthesis
UR  - http://dx.doi.org/10.1007/978-3-642-41533-3
ER  -