Map
Index
Random
Help
th

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 > QuoteRef: krueCW6_1992 , p. 146



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.


Related Topics up

Topic: specification is infeasible (46 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.