Even perfect program verification can only establish that a program meets its specification. [...] Much of the essence of building a program is in fact the debugging of the specification. (Fred Brooks)

Even perfect program verification can only establish that a program meets its specification. [...] Much of the essence of building a program is in fact the debugging of the specification.

Fred Brooks

Related topics

building essence fact perfect program specification verification debugging meets

Related quotes

Building technical systems involves a lot of hard work and specialized knowledge: languages and protocols, coding and debugging, testing and refactoring.

Jesse James Garrett

A reasonable doubt is nothing more than a doubt for which reasons can be given. The fact that 1 or 2 men out of 12 differ from the others does not establish that their doubts are reasonable.

Lord Hailsham

Trees and bones are constantly reforming themselves along lines of stress. This algorithm has been put into a software program that's now being used to make bridges lightweight, to make building beams lightweight.

Janine Benyus

If you get a chance to be in a film, that's great. One of my goals is to make a record as good as Don Henley's album, Building the Perfect Beast.

Glenn Frey

Surprise me, Atlantean. Attack. This isn't a dance party. (Takeshi) You know, this isn't building my confidence. In fact, I think I'm just going to lie here for a bit and take in some sun. (Acheron)

Sherrilyn Kenyon