|
СТ |
Сравнение способов декомпозиции спецификаций на Event-B |
2016 |
Девянин П. Н., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. В. |
|
|
|
Программирование |
07.10.2016 |
|
СТ |
Исследование графа набором автоматов |
2015 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
|
|
|
Программирование |
12.01.2016 |
|
СТ |
Параллельные вычисления на графе |
2015 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
|
|
|
Программирование |
12.03.2015 |
|
СТ |
О сложности проверки су ествования установочных последовательностей для недетерминированных автоматов |
2014 |
Кушик Н. Г., Кулямин В. В., Евтушенко Н. В. |
|
|
|
Программирование |
18.01.2015 |
|
М |
Теория соответствия для систем с блокировками и разрушениями |
2008 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
|
|
|
|
08.08.2013 |
|
СТ |
Обзор методов построения покрываю их наборов |
2011 |
Кулямин В. В., Петухов А. А. |
|
|
|
Программирование |
27.07.2011 |
|
СТ |
Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий |
2010 |
Кулямин В. В. |
|
|
|
Труды института системного программирования |
06.07.2011 |
|
СТ |
Компонентная архитектура среды для тестирования на основе моделей |
2010 |
Кулямин В. В. |
|
|
|
Программирование |
23.11.2010 |
|
СТ |
Организация сложных тестовых наборов |
2009 |
Кулямин В. В. |
|
|
|
Труды ИСП РАН |
12.05.2010 |
|
СТ |
Интеграция методов верификации программных систем |
2009 |
Кулямин В. В. |
|
|
|
Программирование |
24.10.2009 |
|
СТ |
Автоматизация массового создания тестов работоспособности |
2008 |
Зыбин Р. С., Кулямин В. В., Пономаренко А. В., Рубанов В. В., Чернов Е. С. |
|
|
|
Программирование |
27.01.2009 |
|
М |
Теория соответствия для систем с блокировками и разрушениями |
2008 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
Математика. Прикладная математика |
|
|
|
02.08.2008 |
|
СТ |
Формализация тестового эксперимента |
2007 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
|
|
|
Программирование |
20.11.2007 |
|
СТ |
Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры |
2007 |
Иванников В. П., Камкин А. С., Косачев А. С., Кулямин В. В., Петренко А. К. |
|
|
|
Программирование |
20.11.2007 |
|
СТ |
Стандартизация и тестирование реализаций математических функций, работаю их с числами с плаваю ей точкой |
2007 |
Кулямин В. В. |
|
|
|
Программирование |
25.09.2007 |
|
СТ |
Обучение передовым технологиям разработки ПО: проблемы и методы их решения |
2004 |
Кулямин В. В., Омельченко В. А., Петренко О. Л. |
|
|
Институт системного программирования РАН |
Труды института системного программирования |
01.08.2006 |
|
СТ |
Подход UniTesK к разработке тестов: достижения и перспективы |
2004 |
Баранцев А. В., Бурдонов И. Б., Демаков А. В., Зеленов С. В., Косачев А. С., Кулямин В. В., Омельченко В. А., Пакулин Н. В., Петренко А. К., Хорошилов А. В. |
|
|
Институт системного программирования РАН |
Труды института системного программирования |
01.08.2006 |
|
СТ |
Проблемы внедрения наукоемких технологий |
2004 |
Баранцев А. В., Кулямин В. В., Омельченко В. А., Петренко О. Л. |
|
|
Институт системного программирования РАН |
Труды института системного программирования |
01.08.2006 |
|
СТ |
Комбинаторика слов и построение тестовых последовательностей |
2004 |
Кулямин В. В. |
|
|
Институт системного программирования РАН |
Труды института системного программирования |
01.08.2006 |
|
СТ |
Построение тестовых последовательностей при минимуме информации о тестируемой системе |
2005 |
Кулямин В. В. |
|
|
|
Программирование |
31.12.2005 |
|
СТ |
Неизбыточные алгоритмы обхода ориентированных графов. Недетерминированный случай |
2004 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
|
|
|
Программирование |
30.03.2004 |
|
СТ |
Неизбыточные алгоритмы обхода ориентированных графов. Детерминированный случай |
2003 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
|
|
|
Программирование |
29.11.2003 |
|
СТ |
Использование конечных автоматов для тестирования программ |
2000 |
Бурдонов И. Б., Косачев А. С., Кулямин В. В. |
|
|
|
Программирование |
22.04.2000 |
