Контент с Докладчики Волковой А.В. .

КриКТехС 2005-7

Очередное заседание семинара состоится 25 ноября 2005 г. в 15.00 в ауд. 123 радиокорпуса ХАИ. Тема заседания : Современные принципы построения, методы и технологии  проектирования критического програмного обеспечения. Доклады: Программное обеспечение наземной инфраструктуры и бортовых систем космических аппаратов (Туркин И.Б.); Методы и инструментальные...

КриКТехС 2005-4

Очередное заседание семинара состоится 7 июля 2005 г. Тема заседания : Модели, методы и инструментальные средства проектирования высоконадежного программного обеспечения. Доклады: Информационная технология поддержки разработки многоверсионного программного обеспечения информационно-управляющих систем критического применения (Волковой А.В.).

КриКТехС 2004-2

Очередное заседание семинара состоится 23 апреля 2004 г. в 15.00 в ауд. 123 радиокорпуса ХАИ. Тема заседания : Методы проектирования и независимой верификации критического ПО. Доклады: Семантический метод независимой верификации ПО систем критического применения (Манжос Ю.С.); Многоверсионное проектирование критического ПО: модели жизненного цикла и метрики...

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

Докладчики