분석, 개발, 알고리즘 및 검증과 같은 실행 가능한 컴퓨터 프로그램에 컴퓨팅 문제를 원래 공식화하는 프로세스