WikiDer > Строгий подход к промышленной разработке программного обеспечения
Rigorous Approach to Industrial Software Engineering
ПОДНИМАТЬ (Строгий подход к промышленной разработке программного обеспечения) был разработан как часть европейского ESPRIT II проект LaCoS в 1990-е годы, возглавляемый Dines Bjørner. Он состоит из набора инструментов, предназначенных для язык спецификации (RSL) для разработка программного обеспечения. Это особенно поддерживается УООН-МИПО в Макао, которые проводят учебные курсы на месте и по всему миру, особенно в развивающиеся страны.
Смотрите также
внешняя ссылка
- RAISE запись в виртуальной библиотеке
- RAISE - строгий подход к промышленной разработке программного обеспечения
- ПОДНЯТЬ информацию из Dines Bjørner
 | Этот язык программирования-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |