Новости ИСП РАН

21 Апреля, 2016

Выступление Петренко А.К. на XI Ершовской лекции.

19 апреля в Институте систем информатики СО РАН прошла  XI Ершовская лекция. С Ершовской лекцией выступил заведующий отделом Технологий программирования, д.ф.-м.н., профессор Александр Константинович Петренко. Тема его выступления – «Добротность программ».

Тема добротности программных систем не нова, всегда актуальна, тем не менее уровень добротности большей части окружающих нас систем пока оставляет желать большего (в частности, на эту тему есть работы Игоря Васильевича Поттосина). На основе небольшого ретроспективного анализа будут высказаны предположения о перспективах появления и распространения добротных систем и рассмотрены новые технологии, от которых можно ожидать прогресса в этой области информационных технологий.