Author Archives: Евгений Корныхин

В докладе будет рассмотрено использование дедуктивных методов на различных этапах процесса разработки программных систем. На этапе сбора требований производится символьная верификация формальных требований, заключающаяся в исследовании таких свойств как полнота, безопасность, жизнеспособность и другие свойства. Рассматриваются методы использования техники инвариантов … Continue reading →

Докладчик: Александр Леонидович Александров – к.ф.-м.н., ст. научн. сотр., доцент, руководитель группы в компании Luxoft. Окончил мехмат МГУ и аспирантуру МГУ. После окончания МГУ в 1970 году работал в Вычислительном центре МГУ и на факультете ВМК МГУ до 1999 года. … Continue reading →

Бортовые вычислительные системы (БВС) представляют собой сложные многокомпонентные вычислительные комплексы. К ПО БВС предъявляются жёсткие требования по функциональности, надёжности и функционированию в реальном времени. В докладе рассматриваются вопросы организации жизненного цикла ПО БВС, а также построения цепочки инструментальных средств поддержки … Continue reading →

Жданов Александр Аркадьевич, профессор, д.ф.-м.н., главный научный сотрудник ОАО «Институт точной механики и вычислительной техники имени С.А. Лебедева РАН», автор монографии «Автономный искусственный интеллект» расскажет о своем понимании алгоритма биологической системы управления, имплементированной во всех без исключения живых организмах, по … Continue reading →