Quote: do not use formalized methods everywhere; formal methods used for only 10% of CICS

Quotation Skeleton

II Thou shalt formalize but not over formalize … Even the most fervent formal methods advocates must … it's generally accepted that user interface design conformance … During development of [Oxford & IBM's CICS] … scarcely one tenth of the system underwent formal … The project, having saved nine percent over costs … of formal methods.   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: formal methods are inappropriate for user interface design

Related Topics

Topic: limitations of formalism (92 items)
Topic: implementation of user interfaces (18 items)