Download or read book SDL 2007: Design for Dependable Systems written by Emmanuel Gaudin and published by Springer. This book was released on 2007-09-04 with total page 300 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 13th International SDL Forum, SDL 2007, held in Paris, France. The 17 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on model driven engineering, testing, language extensions, implementation and modeling experience and extensions—-addressing all aspects of systems design and system design languages.