default search action
17. SDL Forum 2015: Berlin, Germany
- Joachim Fischer, Markus Scheidgen, Ina Schieferdecker
, Rick Reed:
SDL 2015: Model-Driven Engineering for Smart Cities - 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings. Lecture Notes in Computer Science 9369, Springer 2015, ISBN 978-3-319-24911-7
Smart Cities and Distributed Systems
- Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Volodymyr Peschanenko
Insertion Modeling and Symbolic Verification of Large Systems. 3-18 - Mahin Abbasipour, Ferhat Khendek
A Model-Based Framework for SLA Management and Dynamic Reconfiguration. 19-26 - Edel Sherratt
SDL - The IoT Language. 27-41 - Lars George:
Event Pattern Mining for Smart Environments. 42-45
Specification and Description Language
- Tobias Braun, Dennis Christmann:
Simulating Distributed Systems with SDL and Hardware-in-the-Loop. 49-64 - Alexander Kraas:
Name Resolution of SDL Revisited: Drawbacks and Possible Enhancements. 65-80 - Emmanuel Gaudin, Alain Clouard:
An Experiment to Introduce Interrupts in SDL. 81-88
Domain Specific Languages
- Terje Gjøsæter, Andreas Prinz:
LanguageLab - A Meta-modelling Environment. 91-105 - Patrick Harms
Consistency of Task Trees Generated from Website Usage Traces. 106-121 - Amine El Kouhen, Abdelouahed Gherbi
On the Semantic Transparency of Visual Notations: Experiments with UML. 122-137
Goal Modeling
- Mustafa Berk Duran, Gunter Mussbacher, Nishanth Thimmegowda, Jörg Kienzle:
On the Reuse of Goal Models. 141-158 - Vahdat Abdelzad
Adding a Textual Syntax to an Existing Graphical Modeling Language: Experience Report with GRL. 159-174
Use-Case Modeling
- Edna Braun, Daniel Amyot
Generating Software Documentation in Use Case Maps from Filtered Execution Traces. 177-192 - Patrice Boulet, Daniel Amyot
Towards the Generation of Tests in the Test Description Language from Use Case Map Models. 193-201 - Jameleddine Hassine
Describing Early Security Requirements Using Use Case Maps. 202-217
Model-Based Testing
- Daisuke Shimbara, Øystein Haugen:
Generating Configurations for System Testing with Common Variability Language. 221-237 - Hartmut Lackner:
Model-Based Product Line Testing: Sampling Configurations for Optimal Fault Detection. 238-251 - Bernard Stepien, Kavya Mallur, Liam Peyton:
Testing Business Processes Using TTCN-3. 252-267 - Gusztáv Adamis, Gábor Kovács, György Réthy:
Generating Performance Test Model from Conformance Test Logs. 268-284
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.
last updated on 2024-11-15 19:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: