Research Directions in Software Analysis, Synthesis and Certification
NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
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.
- Computer Programming and Software