산업 소프트웨어 엔지니어링에 대한 엄격한 접근 방식

Rigorous Approach to Industrial Software Engineering

RAISE(산업 소프트웨어 엔지니어링에 대한 고정 접근법)는 Dines Bjørner가 주도한 1990년대 유럽 ESPRIT II LaCoS 프로젝트의 일환으로 개발되었다.소프트웨어 개발을 위한 규격 언어(RSL)용으로 설계된 툴 세트로 구성된다.그것은 특히 마카오의 UNU-IIST에 의해 지지를 받고 있으며, 이들은 특히 개발도상국에서 현장 및 전 세계에서 훈련 과정을 운영하고 있다.

참고 항목

외부 링크