АБВ
АБВ
АБВ

Обычная версия сайта

Кампусы

Подразделения

По категориям

Ординарные профессораЗаслуженные профессораЗаслуженные работникиЛучшие преподавателиЧитающие курсы на английском языкеПолучатели академических надбавокАкадемический кадровый резервАдминистративный кадровый резервАспиранты

По учёным званиям и степеням

Члены и члены-корреспонденты РАН и РАОИмеющие степень PhD

Научные интересы

сбросить фильтры

Научные интересы: «тестирование на основе моделей»Подразделения

ФИО и должность

Контакты

27297

Камкин Александр Сергеевич

Доцент: Московский институт электроники и математики им. А.Н. Тихонова / Департамент компьютерной инженерии
Доцент: Факультет компьютерных наук / Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)

программная инженерия компьютерная инженерия формальные методы верификация программ верификация моделей программ верификация микропроцессоров тестирование на основе моделей статический анализ

+7(495) 912-5317 (ИСП РАН)
27297

Хорошилов Алексей Владимирович

Доцент: Факультет компьютерных наук / Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)

методы проектирования и разработки ответственных систем формальные методы программной инженерии методы верификации и валидации тестирование на основе моделей методы анализа требований