|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2019 |
| 1. |
V. P. Kotlyarov, A. P. Maslakov, A. A. Tolstoles, “Digital modelling of production engineering for metalworking machine shops”, Труды ИСП РАН, 31:3 (2019), 85–98   |
1
|
|
2018 |
| 2. |
И. Г. Черноруцкий, В. П. Котляров, “О реализации методов нелинейного программирования второго порядка на основе рекуррентных алгоритмов оценивания”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 11:1 (2018), 39–46 |
|
2017 |
| 3. |
П. Д. Дробинцев, В. П. Котляров, А. В. Левченко, “Экспериментальные аспекты оценки пропускной способности памяти крупномасштабных систем с архитектурой ccNUMA”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 10:3 (2017), 32–41 |
|
2016 |
| 4. |
P. D. Drobintsev, V. P. Kotlyarov, I. V. Nikiforov, N. V. Voinov, I. A. Selin, “Conversion of abstract behavioral scenarios into scenarios applicable for testing”, Труды ИСП РАН, 28:3 (2016), 145–160 |
|
2015 |
| 5. |
P. D. Drobintsev, V. P. Kotlyarov, N. V. Voinov, I. V. Nikiforov, “Model oriented approach for industrial software development”, Модел. и анализ информ. систем, 22:6 (2015), 750–762  |
3
|
| 6. |
Н. В. Воинов, П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, “Анализ покрытия UCM-модели тестовыми сценариями”, Системы и средства информ., 25:1 (2015), 74–88 |
| 7. |
Н. В. Воинов, П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, И. А. Селин, “Генерация тестового набора на основе потока управления”, Системы и средства информ., 25:1 (2015), 54–73 |
| 8. |
Nikita V. Voinov, Pavel D. Drobintsev, Igor V. Nikiforov, Vsevolod P. Kotlyarov, Alexander V. Kolchin, “Method of symbolic test scenarios automated concretization”, Труды ИСП РАН, 27:3 (2015), 115–124 |
|
2014 |
| 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 |
|
2013 |
| 14. |
П. Д. Дробинцев, В. П. Котляров, А. А. Летичевский, “Автоматизация создания верифицированных тестовых сценариев на основе гидов”, Модел. и анализ информ. систем, 20:6 (2013), 64–77 |
| 15. |
И. С. Ануреев, С. Н. Баранов, Д. М. Белоглазов, Е. В. Бодин, П. Д. Дробинцев, А. В. Колчин, В. П. Котляров, А. А. Летичевский, А. А. Летичевский, В. А. Непомнящий, И. В. Никифоров, С. В. Потиенко, Л. В. Прийма, Б. В. Тютин, “Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений”, Тр. СПИИРАН, 26 (2013), 349–383 |
5
|
|
2012 |
| 16. |
А. В. Колчин, А. А. Летичевский, В. С. Песчаненко, П. Д. Дробинцев, В. П. Котляров, “Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов”, Модел. и анализ информ. систем, 19:6 (2012), 79–91 |
|
2011 |
| 17. |
С.Н. Баранов, В. П. Котляров, “Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов”, Модел. и анализ информ. систем, 18:4 (2011), 118–130 |
2
|
|
Обратная связь: