![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
16. SDL Forum 2013: Montreal, Canada
- Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi
, Rick Reed:
SDL 2013: Model-Driven Dependability Engineering - 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings. Lecture Notes in Computer Science 7916, Springer 2013, ISBN 978-3-642-38910-8
Verification and Testing
- Gusztáv Adamis, Antal Wu-Hen-Chang, Gábor Árpád Németh, Levente Erös, Gábor Kovács:
Data Flow Testing in TTCN-3 with a Relational Database Schema. 1-18 - Emmanuel Gaudin, Eric Brunel:
Property Verification with MSC. 19-35
Dependability Engineering
- Jameleddine Hassine
, Abdelwahab Hamou-Lhadj
:
Towards the Generation of AMF Configurations from Use Case Maps Based Availability Requirements. 36-53 - Jameleddine Hassine
, Gunter Mussbacher, Edna Braun, Mohammad Alhaj
:
Modeling Early Availability Requirements Using Aspect-Oriented Use Case Maps. 54-71 - Brahim Hamid
, Jacob Geisel, Adel Ziani, Jean-Michel Bruel, Jon Pérez
:
Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns. 72-90
Analysis
- Ludovic Apvrille, Pierre de Saqui-Sannes
:
Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models. 91-106 - El Arbi Aboussoror, Ileana Ober, Iulian Ober:
Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback. 107-123 - Naif A. Mokhayesh Alzahrani, Dorina C. Petriu
:
Modeling Component Erroneous Behavior and Error Propagation for Dependability Analysis. 124-143
Domain Specific Languages
- Pascal Potvin, Mario Bonja, Gordon Bailey, Pierre Busnel:
An IMS DSL Developed at Ericsson. 144-162 - Andreas Blunk, Joachim Fischer:
Efficient Development of Domain-Specific Simulation Modelling Languages and Tools. 163-181
Model Transformation
- Levi Lucio, Sadaf Mustafiz, Joachim Denil
, Hans Vangheluwe
, Maris Jukss:
FTG+PM: An Integrated Framework for Investigating Model Transformation Chains. 182-202 - Mohammad Alhaj
, Dorina C. Petriu
:
Traceability Links in Model Transformations between Software and Performance Models. 203-221 - Martin Schmidt, Arif Wider, Markus Scheidgen, Joachim Fischer, Sebastian von Klinski:
Refactorings in Language Development with Asymmetric Bidirectional Model Transformations. 222-238
Specification and Description Language and Evolution
- Dennis Christmann, Tobias Braun, Reinhard Gotzhein:
SDL Real-Time Tasks - Concept, Implementation, and Evaluation. 239-257 - Pau Fonseca i Casas, Xavier Pi, Josep Casanovas
, Jordi Jové:
Definition of Virtual Reality Simulation Models Using Specification and Description Language Diagrams. 258-274 - Pavel Morozkin, Irina Lavrovskaya, Valentin Olenev, Konstantin Nedovodeev:
Integration of SDL Models into a SystemC Project for Network Simulation. 275-290
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.