O que é especificação?, por C. A.R. Hoare

"Sir Charles Antony Richard Hoare é um cientista da computação britânico, provavelmente mais conhecido pelo desenvolvimento do Quicksort, um dos  algoritmos de ordenação mais amplamente usados. Ele também desenvolveu a lógica de Hoare para verificar a correção de programas, e a linguagem formal CSP, usadapara especificar as interações entre processos concorrentes (que serviu de inspiração para a linguagem de programação Occam)." (Fonte: http://www.infoq.com/presentations/tony-hoare-computing-engineering)

Tony Hoare ministrou uma palestra na QCon London 2009.

Você pode assistir a palestra "The Science of Computing and the Engineering of Software", de Tony Hoare em http://www.infoq.com/presentations/tony-hoare-computing-engineering

Uma afirmação feita bem no final da palestra e que me chamou a atenção foi a seguinte analogia usada para definir especificação:

Uma especificação é apenas um teste generalizado

Ou, no original:

A specification is just nothing but a generalised test.

Ele falou isso ao responder uma pergunta de uma pessoa que falava sobre como o Desenvolvimento Dirigido por Testes de certa forma faz com se especifique um sistema através de testes executáveis.

Leia mais sobre a palestra de C.A.R. Hoare em:

• QCon London 2009: Is software engineering?

• The Science of Computing and the Engineering of Software

• QOTD