Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers / [electronic resource] :
edited by Ricardo J. Machado, Rita Suzana Maciel, Julia Rubin, Goetz Botterweck.
- 1st ed. 2013.
- X, 139 p. 61 illus. online resource.
- Programming and Software Engineering, 7706 2945-9168 ; .
- Programming and Software Engineering, 7706 .
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.
9783642382093
10.1007/978-3-642-38209-3 doi
Software engineering.
Computer science.
Computer networks .
Compilers (Computer programs).
Artificial intelligence.
Computer simulation.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Computer Communication Networks.
Compilers and Interpreters.
Artificial Intelligence.
Computer Modelling.
QA76.758
005.1
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.
9783642382093
10.1007/978-3-642-38209-3 doi
Software engineering.
Computer science.
Computer networks .
Compilers (Computer programs).
Artificial intelligence.
Computer simulation.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Computer Communication Networks.
Compilers and Interpreters.
Artificial Intelligence.
Computer Modelling.
QA76.758
005.1