Тема 1. Введение

Содержание: 
- обсудить цели курса
- обсудить программу курса
- обсудить требования
- обсудить практикум

Цели курса

- показать место формальных методов среди подходов к производству
  программного обеспечения
- продемонстрировать источник формальных спецификаций
- познакомить с современным объектно-ориентированным методом производства 
  программного обеспечения
- научить использованию языка ЯСО и языка диаграмм взаимодействия


Программа курса

Блок 1: Языковые средства 
Блок 2: Техники анализа и проектирования
Блок 3: Методы производства программного обеспечения

Блок 1: Языковые средства
  Блок 1.1: Язык Спецификаций и Описаний (ЯСО)
  Блок 1.2: Диаграммы взаимодействия

Блок 2: Техники анализа и проектирования
  Блок 2.1: Техника ролевого анализа
  Блок 2.2: Техника информационного моделирования
  Блок 2.3: Техника проектирования устойчивых структур
  Блок 2.4: Фазы производства программного обеспечения

Блок 3: Методов производства программного обеспечения

Требования:

- знать синтаксис ЯСО (в объеме курса)
- знать синтаксис диаграмм взаимодействия 

- уметь читать ЯСО-спецификации (в объеме курса)
- уметь читать диаграммы взаимодействия
- уметь составлять ЯСО-спецификации (в объеме курса)
- уметь составлять диаграммы взаимодействия

- знать фазы производства программного обеспечения
- понимать содержание фазы анализа
- знать назначение и основные приемы техники ролевого анализа
- уметь проводить ролевой анализ простых систем
- знать назначение и основные приемы техники информационного моделирования
- уметь проводить информационное моделирование простых систем
- знать содержание фазы проектирования
- иметь представление об устойчивости структур систем
- уметь проектировать устойчивые структуры простых систем

- уметь использовать систему SDT


Практикум:
  2 задания, каждое примерно 1 месяц

Задание 1: Анализ и проектирование простой системы
Задание 2: Детальное проектирование на ЯСО