Syndetics omslagsbild
Bild från Syndetics

SDL 2013: Model Driven Dependability Engineering [electronic resource] : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings / edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed.

Medverkande: Materialtyp: TextSerie: Utgivningsuppgift: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Utgåva: 1st ed. 2013Beskrivning: XII, 291 p. 138 illus. online resourceInnehållstyp:
  • text
Medietyp:
  • computer
Bärartyp:
  • online resource
ISBN:
  • 9783642389115
Ämnen: DDK-klassifikation:
  • 621.39 23
  • 004.6 23
Onlineresurser:
Innehåll:
Verification and testing -- Dependability engineering -- Analysis -- Domain specific languages -- Model transformation -- Specification and description language.- Evolution.
Sammanfattning: 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.
Inga fysiska exemplar för denna post

Verification and testing -- Dependability engineering -- Analysis -- Domain specific languages -- Model transformation -- Specification and description language.- Evolution.

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.

Licensed e-book