Eintrag weiter verarbeiten
Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Gespeichert in:
Personen und Körperschaften: | , , , |
---|---|
Titel: | 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 P. Maciel, Julia Rubin, Goetz Botterweck |
Format: | E-Book Konferenzbericht |
Sprache: | Englisch |
veröffentlicht: |
Berlin, Heidelberg
Springer
2013
|
Gesamtaufnahme: |
SpringerLink Lecture notes in computer science ; 7706 |
Schlagwörter: | |
Druckausg.: | Model-based methodologies for pervasive and embedded software, Berlin : Springer, 2013, VIII, 137 S. |
Quelle: | Verbunddaten SWB |
Zugangsinformationen: | Elektronischer Volltext - Campuslizenz |
Zusammenfassung: | 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 |
---|---|
Beschreibung: | Literaturangaben |
Umfang: | Online-Ressource (X, 139 p. 61 illus, digital) |
ISBN: |
9783642382093
|
DOI: | 10.1007/978-3-642-38209-3 |