Apoio por Computador à Criação de Especificações Operacionais.