Строгий подход к промышленной разработке программного обеспечения

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

• Формальные методы
• Формальная спецификация

• Запись в виртуальной библиотеке RAISE
• RAISE – Строгий подход к промышленной разработке программного обеспечения
• ПОДНИМИТЕ информацию от Динеса Бьёрнера

Эта статья о языке программирования — заглушка . Вы можете помочь Википедии, расширив ее.

• в
• т
• е