Software Engineering with Abstractions

Software Engineering with Abstractions

4.11 - 1251 ratings - Source

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


You Must CONTINUE and create a free account to access unlimited downloads & streaming