Докладчик: С. П. Ковалёв (ИПУ РАН)

Дата: 28th February 2014

Время: 13:00

Место: зал ученого совета ИПС

Annotation:

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