« Назад

КриКТехС 2013-1

Очередное заседание семинара состоится 25 января 2013 г., в 14:30 в аудитории 238 радиокорпуса Национального аэрокосмического университета им. Н.Е. Жуковского «Харьковский авиационный институт»

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

Теоретические аспекты разработки и проблема надежности программных систем

Доклады:

Композиционная семантика SQL-подобных языков и смежные вопросы

Буй Д.Б., профессор кафедры теории и технологии программирования факультета кибернетики Киевского национального университета имени Тараса Шевченко

Существует ли надежность программного обеспечения?

Маевский Д.А., заведующий кафедрой теоретических основ и общей электротехники Одесского национального политехнического университета

Динамика двухкомпонентных программных систем

Маевский Д.А., заведующий кафедрой теоретических основ и общей электротехники Одесского национального политехнического университета

Метод вероятностной оценки количества дефектов в программных модулях

Яремчук С.А., старший преподаватель кафедры информационных систем Измаильского института водного транспорта, аспирантка Одесского национального политехнического университета

Информация:

О тематике семинара КриКТехС, тренингах и конференциях 2013 года

Харченко В.С., заведующий кафедрой компьютерных систем и сетей Национального аэрокосмического университета им. Н.Е. Жуковского «Харьковский авиационный институт»


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

Докладчики