Pensamento 008

Sistemas de software têm propriedades dinâmicas observáveis, incluindo comportamento e estrutura. Especificações prévias são meramente expectativas sobre essas propriedades.