Accession Number : ADA261367


Title :   Research Directions in Software Analysis, Synthesis and Certification


Corporate Author : NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE


Personal Author(s) : Luqi,


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a261367.pdf


Report Date : 31 Dec 1992


Pagination or Media Count : 13


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.


Descriptors :   *COMPUTER PROGRAMS , *SOFTWARE ENGINEERING , SYNTHESIS , COMPUTERS , QUALITY


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE