| 
|
Quote: dealing with changed requirements is particularly painful for formal program development
topics >
all references >
references a-b >
Topic:
formal methods and languages
Topic:
specification is infeasible
Quotation Skeleton
There are a number of formal program development … [computer-based system] to be built [refs]. … Some consider the mere writing of a formal … verification that needs to be done to be … the work dealing with changed requirements to be … [formal] specification has to be changed with the same difficulties as … the change at hand. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: formal methods and languages (53 items)
Topic: specification is infeasible (46 items)