Processo para formulação original de problema de computação para programas de computador executáveis, como análise, desenvolvimento, algoritmos e verificação