Model-Driven Engineering Languages and Systems : 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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Model-Driven Engineering Languages and Systems : 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
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Edizione: | 1st ed. 2013. |
| Descrizione fisica: | 1 online resource (XXVIII, 792 p. 299 illus.) |
| Disciplina: | 005.1 |
| Soggetto topico: | Compilers (Computer programs) |
| Software engineering | |
| Computer science | |
| Electronic data processing - Management | |
| Computer simulation | |
| Electronic digital computers - Evaluation | |
| Compilers and Interpreters | |
| Software Engineering | |
| Computer Science Logic and Foundations of Programming | |
| IT Operations | |
| Computer Modelling | |
| System Performance and Evaluation | |
| Persona (resp. second.): | MoreiraAna |
| SchätzBernhard | |
| GrayJeff (Jeffrey G.) | |
| VallecilloAntonio | |
| ClarkePeter | |
| 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. |
| Titolo autorizzato: | Model Driven Engineering Languages and Systems |
| ISBN: | 3-642-41533-4 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910483238903321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Programming and Software Engineering, . 2945-9168 ; ; 8107