Обложка книги Formal Engineering for Industrial Software Development

Formal Engineering for Industrial Software Development

ISBN: 3540206027;
Издательство: Springer-Verlag

This book gives a systemic and comprehensible introduction to SOFL (Structured Object-oriented Formal Language) as one of Formal Engineering Methods for software development. Formal engineering methods are a further development of formal methods towards industrial application. They support the integration of formal methods into software development processes, the construction of formal specifications in a user-friendly manner, and rigorous but practical verification of software systems. SOFL achieves all of these features by integrating Data Flow Diagrams, Petri Nets, VDM, and Object-Oriented approach in a coherent manner for specification constructions, and by integrating formal verification with fault tree analysis and testing for reviewing and testing specifciations. It also provides a way to transform formal specifications into Java programs. SOFL does not only make formal methods accessable to engineers, but also make the use of formal methods enjoyable and effective. Many...

Похожие книги:

Software Development on a Leash is designed as a roadma…