Analog Simulation of a Pilot-Controlled Rendezvous
A plan for validation and verification of Apollo flight computer software
A numerical evaluation of preliminary orbit determination methods
Geometry Technology Module (GTM). Volume 2: Programmers' manual
NECAP: NASA's Energy-Cost Analysis Program. Part 2: Engineering manual
Prevention of design flaws in multicomputer systems
HAL/SM system software requirements specification
STICAP: A linear circuit analysis program with stiff systems capability. Volume 3: Systems
STICAP: A linear circuit analysis program with stiff systems capability. Volume 2: User's manual
Engineering design and integration simulation utilization manual
A methodology for producing reliable software, volume 2
IMAGE: A 3-D geometry display program. Volume 2: Users manual
On formulating approaches to software measurement: An overview
MUST - An integrated system of support tools for research flight software engineering
Measurement and evaluation of software development: Software cost data base
Payload software technology: Software technology development plan