|
" System analysis and modeling: "
Oeystein Haugen, Rick Reed, Reinhard Gotzhein (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
747870
|
| Doc. No
|
:
|
b567821
|
| Main Entry
|
:
|
Oeystein Haugen, Rick Reed, Reinhard Gotzhein (eds.).
|
| Title & Author
|
:
|
System analysis and modeling: : theory and practice : 7th international workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012 : revised papers\ Oeystein Haugen, Rick Reed, Reinhard Gotzhein (eds.).
|
| Publication Statement
|
:
|
Berlin : Springer, 2013
|
| Series Statement
|
:
|
Lecture notes in computer science, 7744.; LNCS sublibrary., SL 2,, Programming and software engineering.
|
| Page. NO
|
:
|
x, 248 pages : illustrations ; 24 cm.
|
| ISBN
|
:
|
3642367569
|
|
|
:
|
: 9783642367564
|
| Notes
|
:
|
International conference proceedings.
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Computer Communication Networks -- Congresses.
|
| Subject
|
:
|
Computer science -- Congresses.
|
| Subject
|
:
|
Information systems -- Congresses.
|
| |