Quote #511
* Formal specifications yield correct programs.
No. Formal specifications yield PhD theses. They may also occasionally
yield programs as by-products, but no useful ones.
-- Ronald F. Guilmette
* Formal specifications yield correct programs.
No. Formal specifications yield PhD theses. They may also occasionally
yield programs as by-products, but no useful ones.
-- Ronald F. Guilmette
Related:
- PLEASE YIELD TO EMERGENCY VEHICLES,
THEY MAY BE FOR YOU!... - Yield to temptation;
it may not pass your way again... - Yield to oncoming
traffic... - YII: Yield to
Irresistable... - Negative expectations yield negative results.
Positive expectations yield negative results... - Recent investments will yield a slight
profit...
