Software Specification Methods (Henri Habrias).

"Software Specification Methods" - это книга, которая предоставляет четкий обзор основных методов спецификации программного обеспечения. Ее практический подход позволяет читателю применить свои знания на практике. В книге рассмотрены такие методы, как UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL и LOTOS. Она содержит описание техник, которые могут быть использованы для создания формальных спецификаций программного обеспечения, что поможет разработчикам создавать менее ошибочные и более надежные программы.

В этой книге представлен ясный взгляд на основные методы, и основное внимание уделяется их практическому применению в реальных жизненных ситуациях. Вот некоторые из рассматриваемых техник: UML (Unified Modeling Language), Z (Zave), TLA+ (Temporal Logical Analysis), SAZ (Specification and Automata Zones), B (Bata), OMT (Ordering Maintenance Temporal), VHDL (VHSIC Hardware Description Language), Estelle (Estelle Verification Programming Language), SDL (Specification and Description Language) и Lotos (Lakeshore Off-The-Shelf ObjectSourced Technology).

This book provides a clear, concise review of the main software specification methods. Henri Habrias tells you about UML, the Zachman Framework, TLA+ (Theory of Declarative Languages), SAZ (Specification and Analysis Z), B (Bourque), OMT (Occam's Meta-Model), VHDL (Very High Speed Integrated Circuit Hardware Description Language), Estelle (Equational SMT Solver), SDL (Standard ML notation for Linear Temporal Logic) and various extensions of LOTOS (Violet). Each method covered is first illustrated with examples, then explained more formally, distinguishing between essential features and more advanced ones. This book is aimed at professionals who need to understand and choose the most suitable approach for a new project or task. Also useful for professionals learning a new method, as Habrias goes into detail to explain not just the basic ideas, but also helps you grasp subtle points in many steps which makes a difference in practice. In addition, these details are presented in the context of concrete examples which bring clarity to the principles. Together, this book covers a rich variety of topics arguably too big a scope to put in one book, while covering principles to support reasoning about all the methods in a structured manner. A must-have reference for researchers, students and practitioners alike in the field of software engineering and logical specification.