SDL 2007: Design for Dependable Systems

Download or read book SDL 2007: Design for Dependable Systems written by Emmanuel Gaudin and published by Springer Science & Business Media. This book was released on 2007-09-06 with total page 299 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.