• Лаборатория разработки программных систем
• Лаборатория сервис-ориентированной архитектуры
• Лаборатория открытого программного обеспечения
• Лаборатория компьютерной графики
• Лаборатория компьютерных методов распознавания личности
• Лаборатория интеллектуальных методов обработки данных сложной внутренней структуры в распределённых системах
• Лаборатория методов планирования экспериментов, теории риска, финансовой и актуарной математики, прикладной информатики
• Группа системной поддержки учебно-научных лабораторий

Деятельность лаборатории

Технология разработки программных систем (продуктов, изделий) - набор правил, процессов и инструментов, позволяющих наладить производственный процесс разработки и выпуска программных изделий.

Технология разработки программных систем (ТРПС) - составная часть специальной инженерной деятельности в области программирования - программной инженерии (software engineering), которая основываясь на математике и информационных технологиях, занимается разработкой систематических моделей и надежных методов производства высококачественного программного обеспечения, и данный подход распространяется на все уровни, от теории и принципов до реальной практики создания программного обеспечения.

Учебно-научная лаборатория (УНЛ) ТРПС обеспечивает подготовку студентов, обучающихся по направлениям 230100 - "Информатика и вычислительная техника" и 010500 - "Прикладная математика и информатика", и в особенности магистерскую подготовку по специализациям (магистерским программам) 230179.68 - "Инженерия программного обеспечения", 230155.68 - "Технологии разработки программных систем" и 010579.68 - "Математическое и программное обеспечение вычислительных машин".

УНЛ ТРПС была образована в 2008 году (на базе ранее существовавших учебных и научно-исследовательских групп кафедры МО ЭВМ) при осуществлении в СПбГЭТУ инновационного образовательного проекта (ИОП). В разработанной в рамках ИОП магистерской программе УНЛ ТРПС была ориентирована в первую очередь на поддержку профиля подготовки по технологии разработки программных систем, в том числе таких дисциплин, как «Верификация, аттестация и качество программного обеспечения», «Управление программным проектом» и «Технологии разработки пользовательских интерфейсов и сервисы визуализации».

В настоящее время учебная и научная деятельность УНЛ ТРПС охватывает также проблематику основных дисциплин магистерских программ "Инженерия программного обеспечения" и "Математическое и программное обеспечение вычислительных машин":

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

а также такие виды учебной деятельности при обучении в магистратуре, как

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

Заведующий лабораторией технологии разработки программных систем - к.т.н., доцент, заведующий кафедры по учебной работе Ивановский Сергей Алексеевич

 НАУЧНЫЕ ИНТЕРЕСЫ

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

ПРЕПОДАВАЕМЫЕ ДИСЦИПЛИНЫ

Верификация, аттестация и качество программного обеспечения,
Комбинаторные алгоритмы вычислительной геометрии,
Программирование,
Структуры и алгоритмы обработки данных

ОСНОВНЫЕ ПУБЛИКАЦИИ

1. Ивановский С.А. Анализ профессиональной подготовки программистов в рамках специальностей и направлений Государственных образовательных стандартов // Изв. СПбГЭТУ «ЛЭТИ». Сер. Информатика, управление и компьютерные технологии. 2003. Вып. 3. С.7-13.

2. Ивановский С. А., Постников Е.В. Динамическая фильтрация в условиях априорной неопределенности моделей объекта и измерителя / Сб. докладов Международной конференции SCM'2003 по мягким вычислениям и измерениям. С.-Петербург, 25-27 июня 2003, СПб.: Издательство СПбГЭТУ «ЛЭТИ», т.1, с.231-234.

3. Дворцов В.И., Ивановский С.А. Linear and almost linear triangulation algorithms for simple polygons (Линейные и почти линейные по сложности алгоритмы триангуляции простого многоугольника) // Pattern Recognition and Image Analysis: Advances in Mathematical Theory and Applications (Изд. МАИК Наука/Interperiodica Publishing). 2005. P. 379-381.

 4.   Дворцов В.И., Ивановский С.А., Преображенский А.С. Триангуляция простого многоугольника методом кэширования в трапецеидальной декомпозиции // Известия СПбГЭТУ «ЛЭТИ». Серия «Информатика, управление и компьютерные технологии». 2005. Вып. 2. С. 14-19.

5.   Ивановский С. А. Казаков Б. Б. Лозицкий А. Е. Методы "семантического" сжатия последовательности изображений, полученных оптико-электронными измерительными средствами. Известия СПбГЭТУ "ЛЭТИ", Выпуск 3/2006, Серия "Информатика, управление и компьютерные технологии", Издательство СПбГЭТУ "ЛЭТИ"

6.   Ивановский С.А., Преображенский А.С., Симончик С.К. Алгоритмы вычислительной геометрии. Выпуклые оболочки: простые алгоритмы // Компьютерные инструменты в образовании, 2007, №1. С. 4-19.

7.   Ивановский С.А., Преображенский А.С., Симончик С.К. Алгоритмы вычислительной геометрии. Выпуклые оболочки: связь с задачей сортировки и оптимальные алгоритмы // Компьютерные инструменты в образовании, 2007, №2. С. 6-18.

8.   Ивановский С.А., Преображенский А.С., Симончик С.К. Алгоритмы вычислительной геометрии. Выпуклые оболочки в трехмерном пространстве // Компьютерные инструменты в образовании, 2007, №3. С. 5-25.