Research directions in software analysis, synthesis and certification
By: Luqi
Contributors: Naval Postgraduate School (U.S.). Dept. of Computer Science
Publisher: Naval Postgraduate School; Available from National Technical Information Service
Published: 1992
Place of publication: Monterey, Calif; Springfield, Va
Language: eng
Number of pages: 10
Subjects: SOFTWARE ENGINEERING; COMPUTER PROGRAMS
Other titles: NPS-CS-92-018.
Description: 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.
Notes: Cover title.

"NPS-CS-92-018."

AD-A261 367.

Includes bibliographical references (p. 9).

aq/aq cc:9116 05/12/97