SDL 2013: Model Driven Dependability Engineering
Download or Read eBook SDL 2013: Model Driven Dependability Engineering PDF written by Ferhat Khendek and published by Springer. This book was released on 2013-06-12 with total page 302 pages. Available in PDF, EPUB and Kindle.
Author | : Ferhat Khendek |
Publisher | : Springer |
Total Pages | : 302 |
Release | : 2013-06-12 |
ISBN-10 | : 9783642389115 |
ISBN-13 | : 3642389112 |
Rating | : 4/5 (15 Downloads) |
Book Synopsis SDL 2013: Model Driven Dependability Engineering by : Ferhat Khendek
Book excerpt: 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.