Vai al contenuto principale della pagina
Titolo: |
Model-Based Methodologies for Pervasive and Embedded Software : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers / / edited by Ricardo J. Machado, Rita Suzana Maciel, Julia Rubin, Goetz Botterweck
![]() |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Edizione: | 1st ed. 2013. |
Descrizione fisica: | 1 online resource (X, 139 p. 61 illus.) |
Disciplina: | 005.1 |
Soggetto topico: | Software engineering |
Computer logic | |
Computer communication systems | |
Programming languages (Electronic computers) | |
Artificial intelligence | |
Computer simulation | |
Software Engineering | |
Logics and Meanings of Programs | |
Computer Communication Networks | |
Programming Languages, Compilers, Interpreters | |
Artificial Intelligence | |
Simulation and Modeling | |
Persona (resp. second.): | MachadoRicardo J |
MacielRita Suzana | |
RubinJulia | |
BotterweckGoetz | |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Sommario/riassunto: | This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012. The 7 revised full papers presented together with 1 short papers were carefully reviewed and selected from 16 submissions. The papers cover a large spectrum of topics including model-driven engineering, model analysis, runtime verification, modeling of reactive systems, variability modeling, and domain-specific languages. |
Titolo autorizzato: | Model-Based Methodologies for Pervasive and Embedded Software ![]() |
ISBN: | 3-642-38209-6 |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910484367803321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |