AtomicQuote

Frederick P. Brooks, Jr. Quote

I do not believe we will find the magic here. Program verification is a very powerful concept, and it will be very important for such things as secure operating system kernels. The technology does not promise, however, to save labor. Verifications are so much work that only a few substantial programs have ever been verified. Program verification does not mean error-proof programs. There is no magic here, either. Mathematical proofs also can be faulty. So whereas verification might reduce the program-testing load, it cannot eliminate it. More seriously, even perfect program verification can only establish that a program meets its specification. The hardest part of the software task is arriving at a complete and consistent specification, and much of the essence of building a program is in fact the debugging of the specification.

Frederick P. Brooks, Jr.

I do not believe we will find the magic here. Program verification is a very powerful concept, and it will be very important for such things as secure operating system kernels. The technology does not promise, however, to save labor. Verifications are so much work that only a few substantial programs have ever been verified. Program verification does not mean error-proof programs. There is no magic here, either. Mathematical proofs also can be faulty. So whereas verification might reduce the program-testing load, it cannot eliminate it. More seriously, even perfect program verification can only establish that a program meets its specification. The hardest part of the software task is arriving at a complete and consistent specification, and much of the essence of building a program is in fact the debugging of the specification.

Related Quotes

All women do have a different sense of sexuality, or sense of fun, or sense of like what's sexy or cool or tough.

Angelina Jolie

All women do have a different sense of sexuality, or sense of fun, or sense of like what's sexy or cool or tough.

Tags: cool, women, fun, sexy

If you are on social media, and you are not learning, not laughing, not being inspired or not networking, then you are using it wrong.

Germany Kent

If you are on social media, and you are not learning, not laughing, not being inspired or not networking, then you are using it wrong.

Tags: abundance, abundance and attitude, abundance creation, advice, analytics, attitude is everything, best practices, biz talk, brand experience, brand strategy

Martyrdom is the only way a man can become famous without ability.

Arthur Schopenhauer

Martyrdom is the only way a man can become famous without ability.

Tags: famous, fame, celebrities, man, way, ability

If my world were to cave in tomorrow, I would look back on all the pleasures, excitements and worthwhilenesses I have been lucky enough to have had. Not the sadness, not my miscarriages or my father l...

Audrey Hepburn

If my world were to cave in tomorrow, I would look back on all the pleasures, excitements and worthwhilenesses I have been lucky enough to have had. Not the sadness, not my miscarriages or my father l...

Tags: home, sad, father, joy

Forgiveness requires a sense that bad behaviour is a sign of suffering rather than malice.

Alain de Botton

Forgiveness requires a sense that bad behaviour is a sign of suffering rather than malice.

Tags: bad behavior, forgiveness, malice, suffering, understanding

Four minutes of eye contact brings people closer to each other better than everything else.

Arthur Aron

Four minutes of eye contact brings people closer to each other better than everything else.

Tags: contact, humanity, intimacy, psychology, relationship

Women who love themselves are threatening; but men who love real women, more so.

Naomi Wolf

Women who love themselves are threatening; but men who love real women, more so.

Tags: aging, beauty, body image, cosmetic surgery, cosmetics, culture, diet industry, double standards, eating disorders, equality

The highway of grace will get you somewhere a whole lot faster then the freeway of spite.

Aaron Lauritsen

The highway of grace will get you somewhere a whole lot faster then the freeway of spite.

Tags: 100 days drive, 100daysdrive, acceptance, accomplish, ambition, author, awakening, be happy, be proud, believe

Formal education and current position can define your worthiness. What makes you extraordinary is defined by your attitude towards others.

Ashish Patel

Formal education and current position can define your worthiness. What makes you extraordinary is defined by your attitude towards others.

Tags: attitude, attitude toward life, behavior, down to earth, extraordinary, humbleness, motivational, success, successful living, worthiness

Police Officer Angry Aggression Theory (POAAT) is why you need to video record the police before they shoot you. Always start the video camera at the first contact, as it can go sour at any time and w...

Steven Magee

Police Officer Angry Aggression Theory (POAAT) is why you need to video record the police before they shoot you. Always start the video camera at the first contact, as it can go sour at any time and w...

Tags: aggression, always, angry, any, before, camera, contact, fire, firearm, firearms
About Frederick P. Brooks, Jr.

Frederick Phillips Brooks Jr. (April 19, 1931 – November 17, 2022) was an American computer architect, software engineer, and computer scientist, best known for managing the development of IBM's System/360 family of computers and the OS/360 software support package, then later writing candidly about those experiences in his seminal book The Mythical Man-Month.
In 1976, Brooks was elected to the National Academy of Engineering for "contributions to computer system design and the development of academic programs in computer sciences".
Brooks received many awards, including the National Medal of Technology in 1985 and the Turing Award in 1999.