소프트웨어 위기(software crisis)를 완전히 해결한 공학적 원리의 체계이다.

신뢰성 있는 소프트웨어를 만들기 위한 도구만을 연구하는 학문이다.

가장 경제적으로 신뢰도 높은 소프트웨어를 만들기 위한 방법, 도구와 절차들의 체계이다.

점차 많은 비용이 소요되는 소프트웨어 개발에서 가장 경제적인 방법을 찾고자 하는 것이다.