SDL 2013 : Model Driven Dependability Engineering
16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings
Edición de la obra SDL 2013: Model-Driven Dependability Engineering
| Autor | Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jun 15, 2013 |
| Páginas | 304 |
| Formato | paperback |
| ISBN-13 | 9783642389122 |
| ISBN-10 | 3642389120 |
| Número de Cutter | K45s |
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.