Proces voor originele formulering van computerproblemen tot uitvoerbare computerprogramma's zoals analyse, ontwikkeling, algoritmen en verificatie