Вы здесь

Хорошилов А. В.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
А Спецификация и тестирование компонентов с асинхронным интерфейсом 2006 Хорошилов А. В. 31.03.2006
СТ Функциональное тестирование Web-приложений на основе технологии UniTesK 2004 Сортов А. А., Хорошилов А. В. Институт системного программирования РАН Труды института системного программирования 01.08.2006
СТ Подход UniTesK к разработке тестов: достижения и перспективы 2004 Баранцев А. В., Бурдонов И. Б., Демаков А. В., Зеленов С. В., Косачев А. С., Кулямин В. В., Омельченко В. А., Пакулин Н. В., Петренко А. К., Хорошилов А. В. Институт системного программирования РАН Труды института системного программирования 01.08.2006
СТ Разработка формальных моделей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов 2007 Пакулин Н. В., Хорошилов А. В. Программирование 27.02.2008
СТ Методы обеспечения переносимости ПО 2011 Силаков Д. В., Хорошилов А. В. Программирование 05.04.2011
СТ Использование драйверов устройств операционной системы Linux для сравнения инструментов статической верификации 2012 Мандрыкин М. У., Мутилин В. С., Новиков Е. М., Хорошилов А. В., Швед П. Е. Программирование 04.12.2012
СТ Конфигурируемая система статической верификации модулей ядра операционных систем 2015 Захаров И. С., Мандрыкин М. У., Мутилин В. С., Новиков Е. М., Петренко А. К., Хорошилов А. В. Программирование 12.03.2015
СТ Моделирование окружения с использованием шаблонов для статической верификации модулей ядра LINUX 2015 Захаров И. С., Мутилин В. С., Хорошилов А. В. Программирование 22.07.2015
СТ Высокоуровневая модель памяти помежуточного языка JESSIE с поддержкой произвольного приведения типов указателей 2015 Мандрыкин М. У., Хорошилов А. В. Программирование 15.09.2015
СТ Сравнение способов декомпозиции спецификаций на Event-B 2016 Девянин П. Н., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. В. Программирование 07.10.2016
СТ Анализ регионов для дедуктивной верификации Си-программ 2016 Мандрыкин М. У., Хорошилов А. В. Программирование 22.11.2016