Abstract is missing.
- Insertion Modeling and Symbolic Verification of Large SystemsAlexander A. Letichevsky, Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Thomas Weigert. 3-18 [doi]
- A Model-Based Framework for SLA Management and Dynamic ReconfigurationMahin Abbasipour, Ferhat Khendek, Maria Toeroe. 19-26 [doi]
- SDL - The IoT LanguageEdel Sherratt, Ileana Ober, Emmanuel Gaudin, Pau Fonseca i Casas, Finn Kristoffersen. 27-41 [doi]
- Event Pattern Mining for Smart EnvironmentsLars George. 42-45 [doi]
- Simulating Distributed Systems with SDL and Hardware-in-the-LoopTobias Braun, Dennis Christmann. 49-64 [doi]
- Name Resolution of SDL Revisited: Drawbacks and Possible EnhancementsAlexander Kraas. 65-80 [doi]
- An Experiment to Introduce Interrupts in SDLEmmanuel Gaudin, Alain Clouard. 81-88 [doi]
- LanguageLab - A Meta-modelling EnvironmentTerje Gjøsæter, Andreas Prinz. 91-105 [doi]
- Consistency of Task Trees Generated from Website Usage TracesPatrick Harms, Jens Grabowski. 106-121 [doi]
- On the Semantic Transparency of Visual Notations: Experiments with UMLAmine El Kouhen, Abdelouahed Gherbi, Cédric Dumoulin, Ferhat Khendek. 122-137 [doi]
- On the Reuse of Goal ModelsMustafa Berk Duran, Gunter Mussbacher, Nishanth Thimmegowda, Jörg Kienzle. 141-158 [doi]
- Adding a Textual Syntax to an Existing Graphical Modeling Language: Experience Report with GRLVahdat Abdelzad, Daniel Amyot, Timothy C. Lethbridge. 159-174 [doi]
- Generating Software Documentation in Use Case Maps from Filtered Execution TracesEdna Braun, Daniel Amyot, Timothy C. Lethbridge. 177-192 [doi]
- Towards the Generation of Tests in the Test Description Language from Use Case Map ModelsPatrice Boulet, Daniel Amyot, Bernard Stepien. 193-201 [doi]
- Describing Early Security Requirements Using Use Case MapsJameleddine Hassine, Abdelwahab Hamou-Lhadj. 202-217 [doi]
- Generating Configurations for System Testing with Common Variability LanguageDaisuke Shimbara, Øystein Haugen. 221-237 [doi]
- Model-Based Product Line Testing: Sampling Configurations for Optimal Fault DetectionHartmut Lackner. 238-251 [doi]
- Testing Business Processes Using TTCN-3Bernard Stepien, Kavya Mallur, Liam Peyton. 252-267 [doi]
- Generating Performance Test Model from Conformance Test LogsGusztáv Adamis, Gábor Kovács, György Réthy. 268-284 [doi]