Computer language Quote by Jim Horning
“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 are used to improve the quality of software or to reduce the cost of producing and maintaining software.”
About This Quote
Source Article: Formal Methods in Software Engineering, 1990
Software quality improves when precise specifications guide development, not for formality's sake.
In simple terms: Clear specs improve software.
Key Takeaway
Use precise specs for better software.
Themes
software quality
specifications
efficiency
cost
utility
Mood
analytical
pragmatic
Type
technical
inspirational
When to use this quote
- software design
- quality assurance
- maintenance
- budget planning
Key Concepts
formal methods
software engineering
productivity
Questions to Reflect On
- Are specifications realistic?
- How to balance rigor and flexibility?
A Different Perspective
Specs may be ignored in practice.
![“One purpose of CRC cards [a design tool] is to fail early, to fail often, and to fail inexpensively. It is a lot cheaper to tear up a bunch of cards that it would be to reorganize a large amount of source code.” quote by Cay S. Horstmann](https://sms4smile.com/quotes/img-quotes/92f/cay-s-horstmann-75741_amount_one-purpose-of-crc-cards-a-design-tool-i_174829.jpg)
![“It's [programming] the only job I can think of where I get to be both an engineer and an artist. There's an incredible, rigorous, technical element to it, which I like because you have to do very precise thinking. On the other hand, it has a wildly creative side where the boundaries of imagination…” quote by Andy Hertzfeld](https://sms4smile.com/quotes/img-quotes/001/andy-hertzfeld-24074_art_it-s-programming-the-only-job-i-can-thin_250407.jpg)