Strategies for Real-Time System Specification

Here is a casebook, a practical reference, and an indispensable guide for creating a systematic, formal methodology for large, real-time, software-based systems. The book introduces the widely implemented Hatley/Pirbhai methods, a major extension of the De Marco analysis method describing how external events control the system's operating behavior