NAVASTIR III software specification tool

NAVASTIR III, an integrated software-specification and program-development tool that combines the development of a type-set quality requirements specification, the corresponding simulator code, the Ada-coded operational software, and an Ada package specification of the interface control document into one process is described. To achieve the goal of generating the specification and program as part of one process, the problem is factored into four parts: (a) analytics, (b) description of the system interface, (c) process timing requirements, and (d) software implementation details. In addition, NAVASTIR III performs checks on the input to insure consistent use of engineering units and dimensions in expressions and equations, and consistency of coordinate systems in vector and matrix expressions. The error checking eliminates entire classes of errors, many of which are difficult to find otherwise. NAVASTIR II, an earlier version, was used on an internal project to produce a high-quality requirements specification. NAVASTIR III enhances NAVASTIR II by automating the system interface description