Research directions in software analysis, synthesis and certification
MetadataShow full item record
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
NPS Report NumberNPS-CS-92-018
Showing items related by title, author, creator and subject.
Riehle, Richard D. (Monterey, California. Naval Postgraduate School, 2008-09);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: evolution, Total Quality Management and applications to the Army Tactical Missile System Barber, Wayland P. (Monterey, California. Naval Postgraduate School, 1992-06);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 ...
Harn, Meng-Chyi (Monterey, California. Naval Postgraduate School, 1999-12);The major problem addressed by this research is how to automate parts of software evolution using dependency rules, especially for large and complex real time embedded systems. The main topics of this study are the development ...