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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| 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
|
| 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: | 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 | |
| Persona (resp. second.): | MoreiraAna |
| SchätzBernhard | |
| GrayJeff | |
| 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.: | 996465522003316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Programming and Software Engineering ; ; 8107