Formal Methods: Promises and Problems

Thumbnail Image
Files
Luqi_Formal_Methods.pdf (183.35 KB)
Authors
Luqi
Goguen, Joseph A.
Subjects
Advisors
Date of Issue
1997
Date
Publisher
Language
Abstract
Successfully applying formal methods to software development promises to move us closer to a true engineering discipline. The authors offer suggestions for overcoming the problems that have hindered the use of formal methods thus far.
Type
Article
Description
IEEE Software, Vol. 14, No. 1, pp. 73-85.
URI
https://hdl.handle.net/10945/42339
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
Funding
Format
Citation
Formal Methods: Promises and Problems, with J. Goguen, IEEE Software, Vol. 14, No. 1, pp. 73-85.
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Collections
Publications