Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29

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

Başlık:

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

Yazar:

Moreira, Ana. editor.

ISBN:

9783642415333

Fiziksel Tanım:

XXVIII, 792 p. 299 illus. online resource.

Series:

Lecture Notes in Computer Science, 8107

Contents:

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

Abstract:

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.

Konu Terimleri:

Computer science.

Computer system failures.

Software engineering.

Programming languages (Electronic computers).

Computer logic.

Computer simulation.

Management information systems.

Programming Languages, Compilers, Interpreters.

Logics and Meanings of Programs.

Management of Computing and Information Systems.

Simulation and Modeling.