An edition of Research directions in software analysis, synthesis and certification
(1992)
Research directions in software analysis, synthesis and certification
by Luqi
Share
×Close
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.
Buy this book
Previews available in: English
Subjects
SOFTWARE ENGINEERING, COMPUTER PROGRAMS| Edition | Availability |
|---|---|
1
Research directions in software analysis, synthesis and certification
1992, Naval Postgraduate School, Available from National Technical Information Service
in English
|
aaaa
|
Book Details
Edition Notes
Cover title.
"NPS-CS-92-018."
AD-A261 367.
Includes bibliographical references (p. 9).
aq/aq cc:9116 05/12/97
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created July 25, 2014
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| May 22, 2020 | Edited by CoverBot | Added new cover |
| July 25, 2014 | Created by ImportBot | Imported from Internet Archive item record |