System Analysis and Modeling: Theory and Practice [E-Book] : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers / edited by Øystein Haugen, Rick Reed, Reinhard Gotzhein.
Haugen, Øystein.
Reed, Rick. / Gotzhein, Reinhard.
Berlin, Heidelberg : Springer, 2013
X, 249 p. 91 illus. digital.
Lecture notes in computer science ; 7744
Full Text
Table of 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.