theory and practice : 7th international workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012 : revised papers
First Statement of Responsibility
Oeystein Haugen, Rick Reed, Reinhard Gotzhein (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2013
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 248 pages : illustrations ; 24 cm.
SERIES
Series Title
Lecture notes in computer science, 7744.; LNCS sublibrary., SL 2,, Programming and software engineering.
GENERAL NOTES
Text of Note
International conference proceedings.
CONTENTS NOTE
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Computer Communication Networks -- Congresses.
Computer science -- Congresses.
Information systems -- Congresses.
PERSONAL NAME - PRIMARY RESPONSIBILITY
Oeystein Haugen, Rick Reed, Reinhard Gotzhein (eds.).