Advanced software techniques for data management systems. Volume 1: Study of software aspects of the phase B space shuttle avionics system
An overview of the executive system design task is presented. The flight software executive system, software verification, phase B baseline avionics system review, higher order languages and compilers, and computer hardware features are also discussed.