|
СТ |
Сравнение способов декомпозиции спецификаций на Event-B |
2016 |
Девянин П. Н., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. В. |
|
|
|
Программирование |
07.10.2016 |
|
СТ |
Конфигурируемая система статической верификации модулей ядра операционных систем |
2015 |
Захаров И. С., Мандрыкин М. У., Мутилин В. С., Новиков Е. М., Петренко А. К., Хорошилов А. В. |
|
|
|
Программирование |
12.03.2015 |
|
СТ |
Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры |
2007 |
Иванников В. П., Камкин А. С., Косачев А. С., Кулямин В. В., Петренко А. К. |
|
|
|
Программирование |
20.11.2007 |
|
СТ |
Подход UniTesK к разработке тестов: достижения и перспективы |
2004 |
Баранцев А. В., Бурдонов И. Б., Демаков А. В., Зеленов С. В., Косачев А. С., Кулямин В. В., Омельченко В. А., Пакулин Н. В., Петренко А. К., Хорошилов А. В. |
|
|
Институт системного программирования РАН |
Труды института системного программирования |
01.08.2006 |
|
СТ |
Генерация тестов для компиляторов и других текстовых процессоров |
2003 |
Зеленов С. В., Зеленова С. А., Косачев А. С., Петренко А. К. |
|
|
|
Программирование |
24.06.2003 |
|
СТ |
Формальные спецификации в технологиях обратной инженерии и верификации программ |
2000 |
Бурдонов И. Б., Демаков А. В., Косачев А. С., Максимов А. В., Петренко А. К. |
|
|
|
Труды Института системного программирования, 1999 г. |
07.07.2001 |
|
СТ |
Формальные спецификации в технологиях обратной инженерии и верификации программ |
2000 |
Бурдонов И. Б., Демаков А. В., Косачев А. С., Максимов А. В., Петренко А. К. |
|
|
|
Труды Института системного программирования РАН, 1999. Том 1 |
19.05.2000 |
|
СТ |
Архитектура системы генерации и пропуска тестов |
1998 |
Баранцев А. В., Бритвина Е. Н., Бурдонов И. Б., Гоманюк С. В., Демаков А. В., Иванов А. В., Косачев А. С., Максимов А. В., Петренко А. К., Сазанов Ю. Л., Сортов А. А., Стефанов В. П., Сумар Г. М. |
|
|
|
Вопросы кибернетики. Приложения системного программирования. Выпуск 4 |
21.10.1998 |
|
СТ |
Иерархическое конфигурационное управление |
1994 |
Крюков В. А., Максимов А. В., Петренко А. К., Полилова Т. А. |
|
|
|
Программирование |
24.05.1994 |
|
СТ |
Спецификация тестов на основе описания трасс |
1993 |
Петренко А. К. |
|
|
|
Программирование |
29.04.1993 |
|
СТ |
Транслятор в системе автоматизации разработки программных комплексов |
1988 |
Крюков В. А., Петренко А. К., Шура-Бура М. Р. |
|
|
|
Методы трансляции и конструирования программ. (Тез. докл. Всесоюз. конф. 23-25 ноября 1988 г.) |
27.03.1991 |
