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