Quote: avoid dogmatism when using formal methods; modify specifications as needed; be skeptical about proofs

Quotation Skeleton

VIII Thou shalt not be dogmatic. … System development is a human activity and will … The developer must anticipate the need to modify … Similarly, no proof should be considered definitive.   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: limitations of formalism (92 items)