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.

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...

Πίνακας περιεχομένων:

• Tool support
• Dependability
• Comprehensibility
• Testing
• Evolution
• Verification
• Product lines
• Semantics
• Domain-specific modeling languages
• Design and architecture
• Model transformation
• Model analysis.- System synthesis.