1.

Record Nr.

UNISA996465522003316

Titolo

Model-Driven Engineering Languages and Systems [[electronic resource] ] : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings / / edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013

ISBN

3-642-41533-4

Edizione

[1st ed. 2013.]

Descrizione fisica

1 online resource (XXVIII, 792 p. 299 illus.)

Collana

Programming and Software Engineering ; ; 8107

Disciplina

005.1

Soggetti

Programming languages (Electronic computers)

Software engineering

Computer logic

Management information systems

Computer science

Computer simulation

Computer system failures

Programming Languages, Compilers, Interpreters

Software Engineering

Logics and Meanings of Programs

Management of Computing and Information Systems

Simulation and Modeling

System Performance and Evaluation

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di contenuto

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

Sommario/riassunto

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.