An edition of Research directions in software analysis, synthesis and certification (1992)

Research directions in software analysis, synthesis and certification

by

Cover of: Research directions in software analysis, synthesis and certification by Luqi, Luqi
Read Listen

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Download Options

Buy this book

Last edited by ImportBot
July 25, 2014 | History
Edit
An edition of Research directions in software analysis, synthesis and certification (1992)

Research directions in software analysis, synthesis and certification

by

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.

Publish Date
Publisher
Naval Postgraduate School, Available from National Technical Information Service
Language
English
Pages
10

Buy this book

Previews available in: English

Subjects

SOFTWARE ENGINEERING, COMPUTER PROGRAMS
Edition Availability
Cover of: Research directions in software analysis, synthesis and certification
Research directions in software analysis, synthesis and certification
1992, Naval Postgraduate School, Available from National Technical Information Service
in English

Add another edition?

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

Published in
Monterey, Calif, Springfield, Va
Other Titles
NPS-CS-92-018.

The Physical Object

Pagination
10 p. ;
Number of pages
10

Edition Identifiers

Open Library
OL25491341M
Internet Archive
researchdirectio00luqi

Work Identifiers

Work ID
OL16868068W

Source records

Internet Archive item record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
July 25, 2014 Created by ImportBot import new book