Формализация моделирования

Формализация моделирования – это исчерпывающее изложение унифицированного языка моделирования UML с акцентом на приёмы и методы применения языка при проектировании, реализации и сопровождении прикладного программного обеспечения.

Курс составлен на основании личного опыта авторов, не использует никаких заимствованных материалов и полностью соответствует версии 2.5 стандарта UML.

Курс «Формализция мрделирования» включает восемь тем, сгруппированных в пять разделов (модулей):

• Методы разработки прикладного программного обеспечения на основе визуальных моделей;
• Формализация функциональных требований;
• Моделирование предметных областей и архитектуры;
• Моделирование поведения;
• Практическое моделирование.

Каждая тема включает лекционный материал, презентации, разбор задач, а ряд тем – самостоятельное выполнение лабораторных работ слушателями с использованием стандартного или оригинального ПО, контрольные вопросы (тесты) и задания, позволяющие контролировать полученные слушателями знания и умения.

Новиков Ф.А., Иванов Д.Ю. Моделирование на UML. Теория, практика, видеокурс. -- СПб, Профессиональная литература, Наука и Техника, 2010, 640 с.

Тема 1. Концепция визуального моделирования в программной инженерии.

Тема 2. Функциональные требования и варианты использования.

Тема  3. Моделирование предметных областей и архитектуры программного обеспечения.

Тема 4. Моделирование поведения графами переходов состояний.

Тема 5. Моделирование поведения потоками управления и данных.

Тема  6. Моделирование поведения последовательностью сообщений.

Тема  7.  Моделирование параллелизма.

Тема 8. Практическое применение UML в процессе разработки прикладного программного обеспечения.

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

• способность формализовать функциональные требования, модель предметной области, алгоритмы автоматизации бизнес-процессов;
• владение методами принятия стратегических, тактических и оперативных решений в управлении разработкой прикладного программного обеспечения; 
• знание современных концепций организации операционной (производственной) деятельности и готовность к их применению