« Назад

КриКТехС 2003-1

Очередное заседание семинара состоится 7 февраля 2003 г. в 14:00 в ауд. 123 радиокорпуса ХАИ.

Тема заседания:

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

Доклады:

  • Концепция, принципы построения и реализации инструментальной системы поддержки независимой верификации и экспертизы ПО (Конорев Б.М.);
  • Принципы систематизации современнных стандартов в критической программной инженерии (Скляр В.В.).

Навигация по категориям

Докладчики