-시스템 정의, 소프트웨어 요구사항 분석, 시스템/소프트웨어 설계를 위한 도구
-SoftTech 사에서 개발
-구조적 요구 분석을 하기 위해 블록 다이어그램을 채택한 자동화 도구
-TRW 사가 실시간 처리 소프트웨어 시스템에서 요구사항을 명확히 기술하도록 할 목적으로 개발한 도구
-RSL과 REVS를 사용하는 자동화 도구
-PSL과 PSA를 사용하는 자동화 도구
-미시간 대학에서 개발
-시스템 공학 방법 응용에 대한 자동 접근 방법
-개발 주기의 전 과정에 이용할 수 있는 통합 자동화 도구
RSL
요소, 속성, 관계, 구조들을 기술하는 요구사항 기술 언어
REVS
RSL로 기술된 요구사항들을 자동으로 분석하여 요구사항 분석 명세서를 출력하는 요구사항 분석기
PSL
문제(요구사항) 기술 언어
PSA
PSL로 기술한 요구사항을 분석하여 보고서를 출력하는 문제 분석기