Cover Image

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers /

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...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Machado, Ricardo J. (Editor), Maciel, Rita Suzana P. (Editor), Rubin, Julia. (Editor), Botterweck, Goetz. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Series:Lecture Notes in Computer Science, 7706
Subjects:
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Artificial intelligence.
Computer simulation.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence (incl. Robotics).
Simulation and Modeling.
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-38209-3
LEADER 02772nam a22005775i 4500
001 15938
003 DE-He213
005 20130727081726.0
007 cr nn 008mamaa
008 130430s2013 gw | s |||| 0|eng d
020 # # |a 9783642382093  |9 978-3-642-38209-3 
024 7 # |a 10.1007/978-3-642-38209-3  |2 doi 
050 # 4 |a QA76.758 
072 # 7 |a UMZ  |2 bicssc 
072 # 7 |a COM051230  |2 bisacsh 
082 0 4 |a 005.1  |2 23 
100 1 # |a Machado, Ricardo J.  |e editor. 
245 1 0 |a Model-Based Methodologies for Pervasive and Embedded Software  |b 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers /  |c edited by Ricardo J. Machado, Rita Suzana P. Maciel, Julia Rubin, Goetz Botterweck.  |h [electronic resource] : 
264 # 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2013. 
300 # # |a X, 139 p. 61 illus.  |b online resource. 
336 # # |a text  |b txt  |2 rdacontent 
337 # # |a computer  |b c  |2 rdamedia 
338 # # |a online resource  |b cr  |2 rdacarrier 
347 # # |a text file  |b PDF  |2 rda 
490 1 # |a Lecture Notes in Computer Science,  |v 7706  |x 0302-9743 ; 
520 # # |a 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. 
650 # 0 |a Computer science. 
650 # 0 |a Computer Communication Networks. 
650 # 0 |a Software engineering. 
650 # 0 |a Logic design. 
650 # 0 |a Artificial intelligence. 
650 # 0 |a Computer simulation. 
650 1 4 |a Computer Science. 
650 2 4 |a Software Engineering. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Computer Communication Networks. 
650 2 4 |a Programming Languages, Compilers, Interpreters. 
650 2 4 |a Artificial Intelligence (incl. Robotics). 
650 2 4 |a Simulation and Modeling. 
700 1 # |a Maciel, Rita Suzana P.  |e editor. 
700 1 # |a Rubin, Julia.  |e editor. 
700 1 # |a Botterweck, Goetz.  |e editor. 
710 2 # |a SpringerLink (Online service) 
773 0 # |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783642382086 
830 # 0 |a Lecture Notes in Computer Science,  |v 7706  |x 0302-9743 ; 
856 4 0 |u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-38209-3 
912 # # |a ZDB-2-SCS 
912 # # |a ZDB-2-LNC 
950 # # |a Computer Science (Springer-11645) 

Similar Items