SDL 2007: Design for Dependable Systems

Know about the book -

SDL 2007: Design for Dependable Systems is written by Emmanuel Gaudin and published by Springer. It's available with International Standard Book Number or ISBN identification 3540749845 (ISBN 10) and 9783540749844 (ISBN 13).

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.