A Engenharia de Software estabelece alguns princípios de desenvolvimento que independem da linguagem de programação adotada e que são utilizados nas três grandes fases da vida de um programa. Dentre elas está a fase de especificação, que