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