To treat programming scientifically, it must be possible to specify the required properties of programs precisely. Formality is certainly not an end in itself. The importance of formal specifications must ultimately rest in their utility -in whether or not they… — Jim Horning Copy Share Image
Computer Science is the only discipline in which we view adding a new wing to a building as being maintenance. — Jim Horning Copy Share Image
Good judgment is what you get from experience, which is what you have immediately after using poor judgement. — Jim Horning Copy Share Image
To treat programming scientifically, it must be possible to specify the required properties of programs precisely. Formality is certainly not an end in itself.… — Jim Horning Copy Share Image
Tribes will be defined by social enclaves on the internet, rather than by geography or kinship, but the world will be more fragmented and… — Jim Horning Copy Share Image
