|
СТ |
Архитектура системы генерации и пропуска тестов |
1998 |
Баранцев А. В., Бритвина Е. Н., Бурдонов И. Б., Гоманюк С. В., Демаков А. В., Иванов А. В., Косачев А. С., Максимов А. В., Петренко А. К., Сазанов Ю. Л., Сортов А. А., Стефанов В. П., Сумар Г. М. |
|
|
|
Вопросы кибернетики. Приложения системного программирования. Выпуск 4 |
21.10.1998 |
|
СТ |
Использование конечных автоматов для тестирования программ |
2000 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
|
|
|
Программирование |
22.04.2000 |
|
СТ |
Исследование графа набором автоматов |
2015 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
|
|
|
Программирование |
12.01.2016 |
|
СТ |
Неизбыточные алгоритмы обхода ориентированных графов. Детерминированный случай |
2003 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
|
|
|
Программирование |
29.11.2003 |
|
СТ |
Неизбыточные алгоритмы обхода ориентированных графов. Недетерминированный случай |
2004 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
|
|
|
Программирование |
30.03.2004 |
|
СТ |
Обход неизвестного ориентированного графа конечным роботом |
2004 |
Бурдонов И. Б. |
|
|
|
Программирование |
01.10.2004 |
|
СТ |
Параллельные вычисления на графе |
2015 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
|
|
|
Программирование |
12.03.2015 |
|
СТ |
Подход UniTesK к разработке тестов: достижения и перспективы |
2004 |
Баранцев А. В., Бурдонов И. Б., Демаков А. В., Зеленов С. В., Косачев А. С., Кулямин В. В., Омельченко В. А., Пакулин Н. В., Петренко А. К., Хорошилов А. В. |
|
|
Институт системного программирования РАН |
Труды института системного программирования |
01.08.2006 |
|
СТ |
Полное тестирование с открытым состоянием ограниченно недетерминированных систем |
2009 |
Бурдонов И. Б., Косачев А. С. |
|
|
|
Труды ИСП РАН |
12.05.2010 |
|
СТ |
Пополнение спецификации для IOCO |
2011 |
Бурдонов И. Б., Косачев А. С. |
|
|
|
Программирование |
05.04.2011 |
|
СТ |
Проблема отката по дереву при обходе неизвестного ориентированного графа конечным роботом |
2004 |
Бурдонов И. Б. |
|
|
|
Программирование |
28.12.2004 |
|
СТ |
Проект КЛОС: к объектно-ориентированной среде разработки прикладных систем |
1992 |
Бурдонов И. Б., Иванников В. П., Копытов Г. В., Косачев А. С., Кузнецов С. Д. |
|
|
|
Управляю ие системы и машины |
16.06.1992 |
|
СТ |
Семантики взаимодействия с отказами? дивиргенцией и разрушением |
2010 |
Бурдонов И. Б., Косачев А. С. |
|
|
|
Программирование |
23.11.2010 |
|
СТ |
Системы с приоритетами: конформность, тестирование, композиция |
2009 |
Бурдонов И. Б., Косаче А. С. |
|
|
|
Программирование |
24.10.2009 |
|
СТ |
Согласование конформности и композиции |
2013 |
Бурдонов И. Б., Косачев А. С. |
|
|
|
Программирование |
14.01.2014 |
|
А |
Теория конформности для функционального тестирования программных систем на основе формальных моделей |
2007 |
Бурдонов И. Б. |
|
|
|
|
04.03.2008 |
|
М |
Теория соответствия для систем с блокировками и разрушениями |
2008 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
Математика. Прикладная математика |
|
|
|
02.08.2008 |
|
М |
Теория соответствия для систем с блокировками и разрушениями |
2008 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
|
|
|
|
08.08.2013 |
|
СТ |
Тестирование с преобразованием семантик |
2009 |
Бурдонов И. Б., Косачев А. С. |
|
|
|
Труды ИСП РАН |
12.05.2010 |
|
СТ |
Формализация тестового эксперимента |
2007 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
|
|
|
Программирование |
20.11.2007 |
|
СТ |
Формализация тестового эксперимента-II |
2013 |
Бурдонов И. Б., Косачев А. С. |
|
|
|
Программирование |
24.09.2013 |
|
СТ |
Формальные спецификации в технологиях обратной инженерии и верификации программ |
2000 |
Бурдонов И. Б., Демаков А. В., Косачев А. С., Максимов А. В., Петренко А. К. |
|
|
|
Труды Института системного программирования, 1999 г. |
07.07.2001 |
|
СТ |
Формальные спецификации в технологиях обратной инженерии и верификации программ |
2000 |
Бурдонов И. Б., Демаков А. В., Косачев А. С., Максимов А. В., Петренко А. К. |
|
|
|
Труды Института системного программирования РАН, 1999. Том 1 |
19.05.2000 |
