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

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.

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