TY  - BOOK
AU  - Haugen,Øystein
AU  - Reed,Rick
AU  - Gotzhein,Reinhard
TI  - System Analysis and Modeling: Theory and Practice: 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers 
SN  - 9783642367571
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer communication systems
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Management information systems
N1  - Models '67 Revisited -- Identification and Selection of Interaction Test Scenarios for Integration Testing -- An Approach to Specify and Analyze Goal Model Families -- Real-Time Tasks in SDL -- Prototyping Domain Specific Languages as Extensions of a General Purpose Language -- Behavioral Fuzzing Operators for UML Sequence Diagrams -- Relativity and Abstract State Machines -- From Earthquake Detection to Traffic Surveillance - About Information and Communication Infrastructures for Smart Cities -- On Deriving Detailed Component Design from High-Level Service Specification -- Type-Safe Symmetric Composition of Metamodels Using Templates -- Towards Correct Product Derivation in Model-Driven Product Lines -- Simulation Configuration Modeling of Distributed Communication Systems -- GRL Model Validation: A Statistical Approach -- Configuration-Based Service Availability Analysis for Middleware Managed Applications
UR  - http://dx.doi.org/10.1007/978-3-642-36757-1
ER  -