SDL 2007: Design for Dependable Systems

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.

Publication Year: 2007
Imprint: Springer Berlin Heidelberg
Format: P
Weight (Gram): 468