System Analysis and Modeling: Theory and Practice: 7th International Workshop, Sam 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Paper

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.

• Format: Paperback
• Language: English
• ISBN: 3642367569
• ISBN13: 9783642367564
• Release Date: February 2013
• Publisher: Springer
• Length: 249 Pages
• Weight: 0.81 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"