Вы здесь

Кулямин В. В.

Автор:

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