Publication:
Research directions in software analysis, synthesis and certification

Loading...
Thumbnail Image
Authors
Luqi
Subjects
Advisors
Date of Issue
1992
Date
1992
Publisher
Monterey, California. Naval Postgraduate School
Language
en_US
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
Type
Technical Report
Description
Series/Report No
Department
Computer Science (CS)
Identifiers
NPS Report Number
NPS-CS-92-018
Sponsors
Funder
Format
10 p. ; 28 cm.
Citation
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Collections