Software: Where we are and what is required in the future
Cohen, Jerry · NASA Technical Reports Server (NASA)
The current status and future direction of flight critical software are presented in the form of view-graphs. The following subject areas are covered: the programmers environment; Saab Grippen Flight test program; present day tools; analysis tools (reverse engineering); automatic code generators; and future plans.