Строгий подход к разработке промышленного программного обеспечения
Rigorous Approach to Industrial Software Engineering ( RAISE ) был разработан в рамках европейского проекта ESPRIT II LaCoS в 1990-х годах под руководством Динеса Бьёрнера . Он состоит из набора инструментов, предназначенных для языка спецификаций (RSL) для разработки программного обеспечения . Его особенно поддерживает UNU-IIST в Макао , который проводит учебные курсы на местах и по всему миру, особенно в развивающихся странах .