|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Выделение независимых ветвей вычислений в унаследованном коде с использованием средств автоматизированного анализа программдоклад на конференции
- Автор: Кривчиков М.А.
- Международная Конференция : Ломоносовские чтения - 2017
- Даты проведения конференции: 17-26 апреля 2017
- Дата доклада: 20 апреля 2017
- Тип доклада: Устный
- Докладчик: Кривчиков М.А.
- Место проведения: МГУ имени М.В. Ломоносова, Russia
- Доклад на конференции выполнен в рамках проекта (проектов):
- Развитие и сопровождение системы подготовки принятия решений на основе анализа информации о результатах научно-исследовательской, педагогической и инновационной деятельности ИАС «ИСТИНА»
- Математическое и программное обеспечение сложных информационно-вычислительных систем
- Методы и средства разработки верифицируемого программного обеспечения с использованием предметно-ориентированных языков, имеющих заданную формальную семантику
- Добавил в систему: Кривчиков Максим Александрович