DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click HERE
to register or log in.
Faultless Software Project.
Final rept. 1 Feb 89-31 Mar 93,
CALIFORNIA UNIV SAN DIEGO LA JOLLA DEPT OF ELECTRICAL AND COMPUTER ENGINEERING
Pagination or Media Count:
Research has focused in three areas. The first is the development of a general platform paradigm for informal program verification and understanding. The second is the development of practical methods for the reconstruction of functional specifications from code. The third is the development of formal, statistical models for the evaluation of testing methods.
APPROVED FOR PUBLIC RELEASE