Model driven dependability engineering

proceedings

Khendek, Ferhat ; Toeroe, Maria ; Gherbi, Abdelouahed ; Reed, Rick 2013 Springer

Kaufen

Jetzt kaufen bei

Link zu diesem Datensatz

https://d-nb.info/1034778021

Titel

Model driven dependability engineering : proceedings

Art des Inhalts

Monographie

Verfassangaben

SDL 2013, 16th International SDL Forum, Montreal, Canada, June 26 - 28, 2013. Ferhat Khendek ... (ed.). [SDL]

Autor(en)

• Khendek, Ferhat
• Toeroe, Maria
• Gherbi, Abdelouahed
• Reed, Rick

Organisation(en)

• SDL Forum Society
• International SDL Forum

Verlag

Berlin : Springer [2013]

Jahr

Erscheinungsdatum: 2013

Umfang/Format

XII, 290 S.

ISBN/Einband/Preis

9783642389108

Online

https://d-nb.info/1034778021/04

Sprache

eng

Schlagwörter

• SDL
• Modellgetriebene Entwicklung
• Zuverlässigkeit
• aspect-oriented modeling
• formal languages
• model verification
• resource constrained embedded systems
• software performance engineering

Anmerkungen

Literaturangaben

Stand

03.12.2017 10:22

Im Katalog seit

06.03.2026

Beschreibung vom Verlag

This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution.