СТ |
Исследование графа набором автоматов |
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 |
М |
Теория соответствия для систем с блокировками и разрушениями |
2008 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
Математика. Прикладная математика |
|
|
|
02.08.2008 |
СТ |
Формализация тестового эксперимента |
2007 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
|
|
|
Программирование |
20.11.2007 |
СТ |
Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры |
2007 |
Иванников В. П., Камкин А. С., Косачев А. С., Кулямин В. В., Петренко А. К. |
|
|
|
Программирование |
20.11.2007 |
СТ |
Подход UniTesK к разработке тестов: достижения и перспективы |
2004 |
Баранцев А. В., Бурдонов И. Б., Демаков А. В., Зеленов С. В., Косачев А. С., Кулямин В. В., Омельченко В. А., Пакулин Н. В., Петренко А. К., Хорошилов А. В. |
|
|
Институт системного программирования РАН |
Труды института системного программирования |
01.08.2006 |
СТ |
Автоматическая генерация тестов для графического пользовательского интерфейса по UML-диаграммам действий |
2004 |
Калинов А. Я., Косачев А. С., Посыпкин М. А., Соколов А. А. |
|
|
Институт системного программирования РАН |
Труды института системного программирования |
01.08.2006 |
СТ |
Обзор методов тестирования компиляторов |
2005 |
Косачев А. С., Посыпкин М. А. |
|
|
|
Программирование |
22.03.2005 |
СТ |
Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования |
2004 |
Косачев А. С., Куттер Ф., Посыпкин М. А. |
|
|
|
Программирование |
02.10.2004 |
СТ |
Неизбыточные алгоритмы обхода ориентированных графов. Недетерминированный случай |
2004 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
|
|
|
Программирование |
30.03.2004 |
СТ |
Неизбыточные алгоритмы обхода ориентированных графов. Детерминированный случай |
2003 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
|
|
|
Программирование |
29.11.2003 |
СТ |
Генерация тестов для компиляторов и других текстовых процессоров |
2003 |
Зеленов С. В., Зеленова С. А., Косачев А. С., Петренко А. К. |
|
|
|
Программирование |
24.06.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 |