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
Towards the Generation of AMF Configurations from Use Case Maps Based Availability Requirements. 36-53 - Jameleddine Hassine
Modeling Early Availability Requirements Using Aspect-Oriented Use Case Maps. 54-71 - Brahim Hamid
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
FTG+PM: An Integrated Framework for Investigating Model Transformation Chains. 182-202 - Mohammad Alhaj
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
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
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 2025-01-03 23:16 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: