Этапы  Техн. процесс разр. ПП
   +------+-------+------+
   v      v       v      |
   1   |  2   |   3   |  4  |    5
Опр.   |Проек.|Констр.|Тест.|Внедрение
требов.|      |       |     |(развёрт.)
-------+------+-------+-----+----------
 \       ^  \     ^   \  ^ ^ ^  \
  > ------+\ >------+\ >-+\| |   >-+\
   |      ++ |      ++ | ++| |   | ++
   |Требов.| |Проект.| |ПМ|+-+   |МТ|
   +-------+ +-------+ +--+|     +--+
    /   \ +->-+\           |
   Ф    НЗ  | ++-----------+
            |ТС|
	    +--+
Формальные методы
Формальн. <--> Мат. модель

   MDA        UML
   ^ ^         OCL (Object Constraint Language)
  /   \
PIM   PSM

   +-------+----------+           +--------+
   v       v          |           v        |
Опред.|Построен.|Верификация|Генерация|Генерация
треб. |форм.    |(тестиров.)|платфор.-|ПК
      |модели   |модели     |зависим. |
      |         |           |модели   |
      |PIM      |           |PSM      |
------+---------+-----------+---------+---------
  \       ^ \         ^ -----^ \      ^   \
   >------+\ >-----+\/ /        >--+\/     >-+\
   |      ++ |     ++ /         |  ++      | ++
   |Требов.| |Модел.|/          |PCM|      |ПМ|
   +-------+ +------+           +---+      +--+

Лабораторные
1 UML/OCL
2 RegExp Advanced
  XQuery, XPath
3 Семантические сети OWL
4 Автоматное программирование FSM
  Функциональное программирование
5 Haskell
6 Языки общего назначения TypeScript
7 Реактивное программирование