Formal Foundations for Software Engineering Methods

در این کتاب، هوسمن پلی بین روش‌های عمل‌گرایانه برای طراحی سیستم‌های اطلاعاتی و پس‌زمینه رسمی و ریاضی ایجاد می‌کند. در ابتدا، امکان سنجی اصلی ادغام روش های مختلف نشان داده شده است. در مرحله دوم، فرمالیسم به عنوان یک تحلیل معنایی سیستماتیک از مفاهیم در SSADM، یک روش استاندارد مهندسی نرم‌افزار ساختاریافته بریتانیایی استفاده می‌شود. ثالثا، راهی برای به دست آوردن مشخصات ترکیبی رسمی-عملی با استفاده از ترکیبی از نمادهای SSADM و مشخصات رسمی (SPECTRUM) نشان داده شده است. این کتاب به خوبی نوشته شده، دانشمندان و مهندسان نرم افزار را تشویق می کند تا روش های رسمی را برای مشکلات توسعه نرم افزار عملی به کار گیرند.

In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integration of the different methods is demonstrated. Secondly, the formalism is used as a systematic semantic analysis of the concepts in SSADM, a British standard structured software engineering method. Thirdly, a way of obtaining a hybrid formal-pragmatic specification using a combination of SSADM notations and formal (SPECTRUM) specifications is shown. This well-written book encourages scientists and software engineers to apply formal methods to practical software development problems.