(An) approach to tailoring and verifying software process = 소프트웨어 프로세스 맞춤화 및 검증 기법