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...

Под заказ:
	OZON.ru - 13602 руб.	Перейти

Рейтинг книги: 5 из 5, 4 голос(-ов).