Документ взят из кэша поисковой машины. Адрес оригинального документа : http://sp.cs.msu.ru/specsem/case/
Дата изменения: Wed Feb 11 22:28:56 2015
Дата индексирования: Sat Apr 9 23:26:43 2016
Кодировка: Windows-1251
Спецсеминар «CASE-технологии»

Главная страница « Спецсеминары «

Спецсеминар «CASE-технологии»

Руководители:
академик В. П. Иванников,
доцент,
кандидат физ.-мат. наук Е. А. Кузьменкова.
[начиная с 2010-го года набор на семинар не производится]

Аннотация

Новости
Информация
Преподаватели и сотрудники
Студенты и аспиранты
Научно-исследовательский семинар
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

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

Основными компонентами CASE-систем являются графические и трансляторные приложения. Графические приложения обеспечивают удобство разработки, трансляторы позволяют автоматизировать перевод программ или спецификаций в другое представление.

В рамках курсовых и дипломных работ студентами создаются:

  • трансляторы и конверторы для широкого спектра современных языков, таких как SDL, ASN.1, MSC, C, C++;

  • визуализаторы графов и блок-схем алгоритмов, графические редакторы с использованием JAVA-технологии;

  • автоматические синтезаторы SDL-спецификаций по сценариям поведения систем на языке MSC;

  • генераторы исполняемых программ по SDL-спецификациям, системы поддержки выполнения для них.

Во время обучения на спецсеминаре студенты имеют постоянный доступ к мощной вычислительной технике и современному программному обеспечению. В качестве инструментальных языков используются в основном C, C++, JAVA, пакет конструирования компиляторов COCKTAIL. Студенты спецсеминара принимают активное участие в крупных промышленных проектах.

  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 24.6.2011