Research directions in software analysis, synthesis and certification

View/Open

Download Record

Author

Date

Metadata

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

Related items

Department of Defense (DoD) software-intensive systems and the software content in other systems
will continue to grow and may dominate total ownership costs (TOC) in the future. These costs are
exacerbated by the fact ...

New engineering disciplines are emerging in the late Twentieth and early Twenty-first Century. One such emerging discipline is software engineering. The engineering community at large has long harbored a sense of skepticism ...

Software acquisition has become the critical path in the procurement of Department of Defense (DOD) weapon systems. Software requirements and their complexity have increased at an exponential rate and support requirements ...