| 
|
Quote: readable, precise documentation is required; e.g., as input to tools
topics >
all references >
references g-h >
Topic:
formal methods and languages
Topic:
software documentation
Topic:
limitations of formalism
Quotation Skeleton
[D.L. Parnas] Most of today's formal methods and tools … use than the actual program text. Most programmers … the author than by looking at formal descriptions. … We are long past the point where we … We must now turn our attention to readability … be used as input to tools. Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: formal methods are less understandable than actual program text
Topic: formal methods and languages (53 items)
Topic: software documentation (64 items)
Topic: limitations of formalism (92 items)