A technical introduction to software engineering with a systematic approach that is both formal and practical. Traces the entire software-development process, using a formal specification language (Spec) to develop large real-time, and distributed systems in Ada. Coverage extends to system evolutiFIGURE 3.36 Type Flow Diagram for the Airline Reservation System definition dependency diagram shown in Fig. ... The type decomposition diagrams show the components of any concrete compound types, and the stimulus-response diagrams provide a summary of ... This completes the abstract functional specification.
|Title||:||Software Engineering with Abstractions|
|Author||:||Valdis Andris Bērzin̦š|
|Publisher||:||Addison-Wesley Professional - 1991-01|