Вы здесь

Косачев А. С.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Исследование графа набором автоматов 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