Model-Based Methodologies for Pervasive and Embedded Software
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 P. Maciel, Julia Rubin, Goetz Botterweck.
- X, 139 p. 61 illus. online resource.
- Lecture Notes in Computer Science, 7706 0302-9743 ; .
- Lecture Notes in Computer Science, 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
Computer science.
Computer communication systems.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Artificial intelligence.
Computer simulation.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence (incl. Robotics).
Simulation and Modeling.
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
Computer science.
Computer communication systems.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Artificial intelligence.
Computer simulation.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence (incl. Robotics).
Simulation and Modeling.
QA76.758
005.1