Abstract is missing.
- Models '67 RevisitedBirger Møller-Pedersen. 1-15 [doi]
- Identification and Selection of Interaction Test Scenarios for Integration TestingMohamed Mussa, Ferhat Khendek. 16-33 [doi]
- An Approach to Specify and Analyze Goal Model FamiliesAzalia Shamsaei, Daniel Amyot, Alireza Pourshahid, Edna Braun, Eric S. K. Yu, Gunter Mussbacher, Rasha Tawhid, Nick Cartwright. 34-52 [doi]
- Real-Time Tasks in SDLDennis Christmann, Reinhard Gotzhein. 53-71 [doi]
- Prototyping Domain Specific Languages as Extensions of a General Purpose LanguageAndreas Blunk, Joachim Fischer. 72-87 [doi]
- Behavioral Fuzzing Operators for UML Sequence DiagramsMartin Schneider, Jürgen Großmann, Nikolay Tcholtchev, Ina Schieferdecker, Andrej Pietschker. 88-104 [doi]
- Relativity and Abstract State MachinesEdel Sherratt. 105-120 [doi]
- From Earthquake Detection to Traffic Surveillance - About Information and Communication Infrastructures for Smart CitiesJoachim 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. 121-141 [doi]
- On Deriving Detailed Component Design from High-Level Service SpecificationUrooj Fatima, Rolv Bræk. 142-159 [doi]
- Type-Safe Symmetric Composition of Metamodels Using TemplatesHenning Berg, Birger Møller-Pedersen. 160-178 [doi]
- Towards Correct Product Derivation in Model-Driven Product LinesXiaorui Zhang, Birger Møller-Pedersen. 179-197 [doi]
- Simulation Configuration Modeling of Distributed Communication SystemsMihal Brumbulli, Joachim Fischer. 198-211 [doi]
- GRL Model Validation: A Statistical ApproachJameleddine Hassine, Daniel Amyot. 212-228 [doi]
- Configuration-Based Service Availability Analysis for Middleware Managed ApplicationsAli Kanso, Maria Toeroe, Ferhat Khendek. 229-248 [doi]