Coverart for item
The Resource Model-based methodologies for pervasive and embedded software : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012 : revised papers, Ricardo J. Machado ... [et al.] (eds.), (electronic resource)

Model-based methodologies for pervasive and embedded software : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012 : revised papers, Ricardo J. Machado ... [et al.] (eds.), (electronic resource)

Label
Model-based methodologies for pervasive and embedded software : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012 : revised papers
Title
Model-based methodologies for pervasive and embedded software
Title remainder
8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012 : revised papers
Statement of responsibility
Ricardo J. Machado ... [et al.] (eds.)
Title variation
MOMPES 2012
Creator
Contributor
Provider
Subject
Genre
Language
eng
Summary
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
Member of
Cataloging source
GW5XE
Image bit depth
0
LC call number
TA168
LC item number
.I58 2012
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2012
http://bibfra.me/vocab/lite/meetingName
International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
  • SpringerLink
  • Machado, Ricardo J
Series statement
Lecture Notes in Computer Science,
Series volume
7706
http://library.link/vocab/subjectName
  • Software
  • Computer Systems
  • Systems engineering
  • Computer software
  • Embedded computer systems
  • Computer software
  • Embedded computer systems
  • Systems engineering
Label
Model-based methodologies for pervasive and embedded software : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012 : revised papers, Ricardo J. Machado ... [et al.] (eds.), (electronic resource)
Instantiates
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and author index
Color
not applicable
Contents
  • Analysis of Simulink Models Using Databases and Model Transformations
  • Daniel Merschen, Robert Gleis, Julian Pott
  • Feature-Based Adaptation of Database Schemas
  • Marco Mori, Anthony Cleve
  • Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models
  • Kent Inge Fagerland Simonsen
  • Guidelines for Modelling Reactive Systems with Coloured Petri Nets
  • Madalena Gonçalves, João M. Fernandes
  • A Graphical Specification of Model Composition with Triple Graph Grammars
  • Adil Anwar, Amine Benelallam, Mahmoud Nassar
  • MapIt: A Model Based Pattern Recovery Tool
  • Rui Couto, António Nestor Ribeiro
  • Combining Testing and Runtime Verification Techniques
  • Kevin Falzon, Gordon J. Pace
  • A Lightweight, Composable Metamodelling Language for Specification and Validation of Internal Domain Specific Languages
  • Markus Klotzbücher, Herman Bruyninckx
Dimensions
unknown
Extent
1 online resource (viii, 137 p.)
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9783642382086
Level of compression
uncompressed
Other physical details
ill.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (OCoLC)842882478
  • (OCoLC)ocn842882478
Label
Model-based methodologies for pervasive and embedded software : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012 : revised papers, Ricardo J. Machado ... [et al.] (eds.), (electronic resource)
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and author index
Color
not applicable
Contents
  • Analysis of Simulink Models Using Databases and Model Transformations
  • Daniel Merschen, Robert Gleis, Julian Pott
  • Feature-Based Adaptation of Database Schemas
  • Marco Mori, Anthony Cleve
  • Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models
  • Kent Inge Fagerland Simonsen
  • Guidelines for Modelling Reactive Systems with Coloured Petri Nets
  • Madalena Gonçalves, João M. Fernandes
  • A Graphical Specification of Model Composition with Triple Graph Grammars
  • Adil Anwar, Amine Benelallam, Mahmoud Nassar
  • MapIt: A Model Based Pattern Recovery Tool
  • Rui Couto, António Nestor Ribeiro
  • Combining Testing and Runtime Verification Techniques
  • Kevin Falzon, Gordon J. Pace
  • A Lightweight, Composable Metamodelling Language for Specification and Validation of Internal Domain Specific Languages
  • Markus Klotzbücher, Herman Bruyninckx
Dimensions
unknown
Extent
1 online resource (viii, 137 p.)
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9783642382086
Level of compression
uncompressed
Other physical details
ill.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (OCoLC)842882478
  • (OCoLC)ocn842882478

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...