| 
|
Quote: the main drawback of formal specification languages is that specifications can be as opaque as source code; difficult to create
topics >
all references >
references i-l >
Topic:
specification is infeasible
Quotation Skeleton
For [source code] components that do not have simple … The primary drawback [of formal specification languages] is that nontrivial specifications … [ref: Horowitz, E. and J.B. Munson 1989]. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: specification is infeasible (46 items)