Accession Number:

ADA261367

Title:

Research Directions in Software Analysis, Synthesis and Certification

Descriptive Note:

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1992-12-31

Pagination or Media Count:

13.0

Abstract:

This paper presents a view of research directions relevant to producing reliable and useful software systems. Appropriate research goals are identified for achieving improvements in software quality via formalization and computer aid for software analysis, synthesis, and certification tasks at all states of software development and evolution.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE