Loading...
Please wait, while we are loading the content...
Similar Documents
Nasa software specification and evaluation system: software verification/validation techniques
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Copyright Year | 1977 |
| Description | NASA software requirement specifications were used in the development of a system for validating and verifying computer programs. The software specification and evaluation system (SSES) provides for the effective and efficient specification, implementation, and testing of computer software programs. The system as implemented will produce structured FORTRAN or ANSI FORTRAN programs, but the principles upon which SSES is designed allow it to be easily adapted to other high order languages. |
| File Size | 8549913 |
| Page Count | 61 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19770019884 |
| Archival Resource Key | ark:/13960/t51g5gt74 |
| Language | English |
| Publisher Date | 1977-04-22 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Nasa Programs Computer Programming Specifications Coding Sequential Control Reliability Analysis Data Processing Data Systems Central Processing Units Input/output Routines Fortran Ntrs Nasa Technical Reports ServerĀ (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |