A 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.

Jim Horning

Quote Topics

Certainly Cost End Formal Formality Importance Improve Itself Maintaining Must Possible Precisely Producing Programming Programs Properties Quality Reduce Required Rest Software Specifications Treat Ultimately Used Utility Whether

Quote Author

Jim Horning
American - Scientist

High-quality software is not expensive. High-quality software is faster and cheaper to build and maintain than low-quality software, from initial development all the way through total cost of ownership.

Capers Jones

Testing by itself does not improve software quality. Test results are an indicator of quality, but in and of themselves, they don't improve it. Trying to improve software quality by increasing the amount of testing is like trying to lose weight by weighing yourself more often. What you eat before you step onto the scale determines how much you will weigh, and the software development techniques you use determine how many errors testing will find. If you want to lose weight, don't buy a new scale; change your diet. If you want to improve your software, don't test more; develop better.

Steve McConnell

The required techniques of effective reasoning are pretty formal, but as long as programming is done by people that don't master them, the software crisis will remain with us and will be considered an incurable disease. And you know what incurable diseases do: they invite the quacks and charlatans in, who in this case take the form of Software Engineering gurus.

Edsger Dijkstra

The hardest single part of building a software system is deciding precisely what to build the most important function that software builders do for their clients is the iterative extraction and refinement of the product requirements. For the truth is, the clients do not know what they want. They usually do not know what questions must be answered, and they have almost never thought of the problem in the detail that must be specified.

Fred Brooks

Software production is like any other production the preceded it, no raw materials are required, no time is required and no effort is required, you can make a million Copies of Software instantaneously for free and its very unique about that.

John McAfee

I'm not of the opinion that all software will be open source software. There is certain software that fits a niche that is only useful to a particular company or person: for example, the software immediately behind a web site's user interface. But the vast majority of software is actually pretty generic.

Brian Behlendorf

On the back end, software programming tools and Internet-based services make it easy to launch new global software-powered start-ups in many industries - without the need to invest in new infrastructure and train new employees.

Marc Andreessen

I named my software 'EMAIL,' (a term never used before in the English language), and I even received the first U.S. Copyright for that software, officially recognizing me as The Inventor of Email, at a time when Copyright was the only way to recognize software inventions, since the U.S. Supreme Court was not recognizing software patents.

Shiva Ayyadurai

Maintaining a consistent platform also helps improve product support - a significant problem in the software industry.

Bill Gates

If debugging is the process of removing software bugs, then programming must be the process of putting them in.

Edsger Dijkstra

Software substitution, whether it's for drivers or waiters or nurses - it's progressing. Technology over time will reduce demand for jobs, particularly at the lower end of skill set.

Bill Gates

The software patent problem is not limited to Mono. Software patents affect everyone writing software today.

Miguel de Icaza

In the free/libre software movement, we develop software that respects users' freedom, so we and you can escape from software that doesn't.

Richard Stallman

Software patents are dangerous to software developers because they impose monopolies on software ideas.

Richard Stallman

Another trick in software is to avoid rewriting the software by using a piece that's already been written, so called component approach which the latest term for this in the most advanced form is what's called Object Oriented Programming.

Bill Gates

Some software is actually pretty good, by any standard. Think of the Mars Rovers, Google, and the Human Genome Project. Now, that's quality software!