Котляров Всеволод Павлович

Публикации в базе данных Math-Net.Ru

1. Digital modelling of production engineering for metalworking machine shops
   
   Труды ИСП РАН, 31:3 (2019),  85–98
2. О реализации методов нелинейного программирования второго порядка на основе рекуррентных алгоритмов оценивания
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 11:1 (2018),  39–46
3. Экспериментальные аспекты оценки пропускной способности памяти крупномасштабных систем с архитектурой ccNUMA
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 10:3 (2017),  32–41
4. Conversion of abstract behavioral scenarios into scenarios applicable for testing
   
   Труды ИСП РАН, 28:3 (2016),  145–160
5. Model oriented approach for industrial software development
   
   Модел. и анализ информ. систем, 22:6 (2015),  750–762
6. Анализ покрытия UCM-модели тестовыми сценариями
   
   Системы и средства информ., 25:1 (2015),  74–88
7. Генерация тестового набора на основе потока управления
   
   Системы и средства информ., 25:1 (2015),  54–73
8. Method of symbolic test scenarios automated concretization
   
   Труды ИСП РАН, 27:3 (2015),  115–124
9. Инкрементальный подход к технологии создания тестов для индустриальных проектов
   
   Модел. и анализ информ. систем, 21:6 (2014),  144–154
10. Подход к автоматизации отладки поведенческих сценариев
    
    Модел. и анализ информ. систем, 21:6 (2014),  44–56
11. Методика тестирования высоконагруженных телекоммуникационных систем SMS оповещения
    
    Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 4(200),  41–46
12. Подход к тестированию параллельных систем на основе UCM-спецификаций
    
    Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 3(198),  85–91
13. Тестирование на основе ключевых слов с использованием диаграмм последовательности событий
    
    Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 3(198),  78–84
14. Автоматизация создания верифицированных тестовых сценариев на основе гидов
    
    Модел. и анализ информ. систем, 20:6 (2013),  64–77
15. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений
    
    Тр. СПИИРАН, 26 (2013),  349–383
16. Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов
    
    Модел. и анализ информ. систем, 19:6 (2012),  79–91
17. Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов
    
    Модел. и анализ информ. систем, 18:4 (2011),  118–130