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. 
 - 1st ed. 2013. 
 - XXVIII, 792 p. 299 illus.  online resource. 
 - Programming and Software Engineering,  8107  2945-9168 ; .
 - Programming and Software Engineering,  8107 .
<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/> 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. 
<br/><br/><label>ISBN: </label>9783642415333 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-41533-3  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Compilers (Computer programs).<br/>Software engineering.<br/>Computer science.<br/>Electronic data processing--Management.<br/>Computer simulation.<br/>Electronic digital computers--Evaluation.<br/>Compilers and Interpreters.<br/>Software Engineering.<br/>Computer Science Logic and Foundations of Programming.<br/>IT Operations.<br/>Computer Modelling.<br/>System Performance and Evaluation.
<br/><br/><label>LC Class. No.: </label>QA76.76.C65 
<br/><br/><label>Dewey Class. No.: </label>005.45