Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Moreira, Ana (Επιμελητής έκδοσης), Schätz, Bernhard (Επιμελητής έκδοσης), Gray, Jeff (Επιμελητής έκδοσης), Vallecillo, Antonio (Επιμελητής έκδοσης), Clarke, Peter (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Σειρά: Lecture Notes in Computer Science, 8107
• Θέματα: 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.
• Φυσική περιγραφή: XXVIII, 792 p. 299 illus. online resource.
• ISBN: 9783642415333
• ISSN: 0302-9743 ;

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.