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ätz, Jeff Gray, Antonio Vallecillo, Peter Clarke. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2013. 
 - 1 online resource (XXVIII, 792 p. 299 ill.) 
 - Lecture Notes in Computer Science,  8107  0302-9743 ; .
<br/><br/>Tool support -- Dependability -- Comprehensibility -- Testing -- Evolution -- Verification -- Product lines -- Semantics -- Domain-specific modeling languages -- Design and architecture -- Model transformation -- Model analysis.- System synthesis. 
<br/><br/><label>ISBN: </label>9783642415333 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer system failures.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Computer logic.<br/>Computer simulation.<br/>Management information systems.