


default search action
7. SAM 2012: Innsbruck, Austria
- Øystein Haugen, Rick Reed, Reinhard Gotzhein:
System Analysis and Modeling: Theory and Practice - 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7744, Springer 2013, ISBN 978-3-642-36756-4
Keynote 1
- Birger Møller-Pedersen:
Models '67 Revisited. 1-15
Test and Analysis I
- Mohamed Mussa, Ferhat Khendek
:
Identification and Selection of Interaction Test Scenarios for Integration Testing. 16-33 - Azalia Shamsaei, Daniel Amyot
, Alireza Pourshahid, Edna Braun, Eric S. K. Yu, Gunter Mussbacher, Rasha Tawhid, Nick Cartwright:
An Approach to Specify and Analyze Goal Model Families. 34-52
Language Enhancements
- Dennis Christmann, Reinhard Gotzhein:
Real-Time Tasks in SDL. 53-71 - Andreas Blunk, Joachim Fischer:
Prototyping Domain Specific Languages as Extensions of a General Purpose Language. 72-87
Fuzzy Subjects
- Martin A. Schneider
, Jürgen Großmann, Nikolay Tcholtchev
, Ina Schieferdecker
, Andrej Pietschker:
Behavioral Fuzzing Operators for UML Sequence Diagrams. 88-104 - Edel Sherratt:
Relativity and Abstract State Machines. 105-120
Keynote 2
- Joachim Fischer, Jens-Peter Redlich, Björn Scheuermann, Jochen H. Schiller
, Mesut Günes
, Kai Nagel
, Peter Wagner
, Markus Scheidgen, Anatolij Zubow, Ingmar Eveslage, Robert Sombrutzki, Felix Juraschek:
From Earthquake Detection to Traffic Surveillance - About Information and Communication Infrastructures for Smart Cities. 121-141
Components and Composition
- Urooj Fatima, Rolv Bræk:
On Deriving Detailed Component Design from High-Level Service Specification. 142-159 - Henning Berg, Birger Møller-Pedersen:
Type-Safe Symmetric Composition of Metamodels Using Templates. 160-178
Configuring and Product Lines
- Xiaorui Zhang, Birger Møller-Pedersen:
Towards Correct Product Derivation in Model-Driven Product Lines. 179-197 - Mihal Brumbulli, Joachim Fischer:
Simulation Configuration Modeling of Distributed Communication Systems. 198-211
Analysis II
- Jameleddine Hassine
, Daniel Amyot
:
GRL Model Validation: A Statistical Approach. 212-228 - Ali Kanso, Maria Toeroe, Ferhat Khendek
:
Configuration-Based Service Availability Analysis for Middleware Managed Applications. 229-248

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.