Комбинаторика слов и построение тестовых последовательностей. by В.В. Кулямин

Get full text

Формальные подходы к тестированию математических функций. by В.В. Кулямин

Get full text

Перспективы интеграции методов верификации программного обеспечения by В. В. Кулямин

Get full text

Критерии тестового покрытия, основанные на структуре контрактных спецификаций. by В.В. Кулямин

Get full text

Тестирование современных библиотек тригонометрических функций. by Е.С. Чернов, В. В. Кулямин

Get full text

Место тестирования среди методов оценки качества ПО. by В. В. Кулямин, О. Л. Петренко

Get full text

Обучение передовым технологиям разработки ПО: проблемы и методы их решения. by В.В. Кулямин, В. А. Омельченко, О. Л. Петренко

Get full text

Формирование профессиональных компетенций современного разработчика ПО. by В.В. Кулямин, В.А. Омельченко, О.Л. Петренко

Get full text

Роль научных организаций в подготовке ИТ- специалистов. by А. К. Петренко, О. Л. Петренко, В. В. Кулямин

Get full text

Асинхронные автоматы: классификация и тестирование. by И.Б. Бурдонов, А.С. Косачев, В.В. Кулямин

Get full text

Проблемы внедрения наукоемких технологий. by А.В. Баранцев, В.В. Кулямин, В.А. Омельченко, О.Л. Петренко

Get full text

Технология Azov автоматизации массового создания тестов работоспособности. by Р.С. Зыбин, В.В. Кулямин, А.В. Пономаренко, В.В. Рубанов, Е.С. Чернов

Get full text

Использование формальных методов для обеспечения соблюдения программных стандартов. by А.И. Гриневич, В.В. Кулямин, Д.А. Марковцев, А.К. Петренко, В.В. Рубанов, А.В. Хорошилов

Get full text