Quote #511 * Formal Specifications Yield Correct Programs.

Home › Fortune Cookies › Quotations - Random

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

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 Impulse
Negative expectations yield negative results. Positive expectations yield negative results.
Recent investments will yield a slight profit.

Quote #511 * Formal Specifications Yield Correct Programs.

Related: