산업 소프트웨어 엔지니어링에 대한 엄격한 접근 방식
Rigorous Approach to Industrial Software Engineering
산업 소프트웨어 엔지니어링에 대한 약자 엄밀한 접근법
이 기사는 소프트웨어 개발 도구에 관한 것이다.기타 용도는 상승(동음이의)을 참조하십시오. RAISE(산업 소프트웨어 엔지니어링에 대한 고정 접근법)는 Dines Bjørner가 주도한 1990년대 유럽 ESPRIT II LaCoS 프로젝트의 일환으로 개발되었다.소프트웨어 개발을 위한 규격 언어(RSL)용으로 설계된 툴 세트로 구성된다.그것은 특히 마카오의 UNU-IIST에 의해 지지를 받고 있으며, 이들은 특히 개발도상국에서 현장 및 전 세계에서 훈련 과정을 운영하고 있다.
참고 항목
외부 링크