[Book Cover]

Software Systems Construction with examples in Ada: Sequential and Concurrent Designs Implemented in Ada, 1/e

Bo Sanden, George Mason University

Published July, 1993 by Prentice Hall Engineering/Science/Mathematics

Copyright 1994, 443 pp.
Cloth
ISBN 0-13-030834-X


Sign up for future
mailings on this subject.

See other books about:
    Software Engineering--Advanced-Computer Science

    Ada--Intro to Programming/CSI-Computer Science

    Software Engineering (SE)-Computer Science


Author Home Pa


Summary

This introduction to the practical construction of software systems focuses on the entity-life modeling approach as applied to the Ada programming environment.

Features


addresses different aspects of software construction — e.g., control structuring, modularization and concurrency — and discusses their use in expressing the problem structure in the software.

  • explores both problem description and the means to express the problem in software
  • contains a wealth of examples worked out from analysis to partial implementation in Ada
outlines the entity-life modelling approach — where the software is patterned as closely as possible after structures found in the problem environment.
  • entity-life modelling draws from both the Jackson approach to modeling software structures on threads of events in the reality, and the object-based approach where software objects are modeled on objects in the reality
  • shows how this approach provides a seamless transition from problem analysis to design, leading to straight-forward software that is easy to understand and maintain
offers a significant case study of a flexible manufacturing system developed with entity-life modeling — carried through from problem analysis to implementation — with extensive excerpts of Ada text.
  • brings together the various aspects of software construction and illustrates the relationship between the final software product and the problem on which it is modeled
provides projects involving a supermarket check-out system, an air-traffic control game, an automated vending machine, and a bottling plant.


Table of Contents
    1. Introduction.
    2. Control Structuring.
    3. Modularization.
    4. Object-Based Software Construction.
    5. Finite Automata and Software.
    6. Concurrent Tasks.
    7. Resource Sharing.
    8. Entity-Life Modeling.
    9. Case Study: Flexible Manufacturing System.
    Index.

[Help]

© Prentice-Hall, Inc. A Simon & Schuster Company
Comments To webmaster@prenhall.com