График выхода изданий
- №2 Июнь 2026Статьи принимаются до: 29 Мая 2026
- №3 Сентябрь 2026Статьи принимаются до: 31 Августа 2026
- №4 Декабрь 2026
Последние выпуски
Статьи из рубрики "Конференция «Технологии Microsoft в теории и практике программирования»"
Автоматизация тестирования на основе покрытия пользовательских сценариев
- Год: 2012
- Выпуск: 4
- 0
- 8766
- Страницы: 123-126
Статический метод отладки тестовых сценариев, сгенерированных с использованием эвристик
- Год: 2012
- Выпуск: 4
- 0
- 8657
- Страницы: 114-119
Методика разработки мобильных приложений для платформы WINDOWS PHONE 7
- Год: 2012
- Выпуск: 4
- 0
- 8597
- Страницы: 102-105
Интеграция расписания учебных курсов факультета с порталом SharePoint
- Год: 2011
- Выпуск: 4
- 0
- 8096
- Страницы: 152-156
Автоматическая настройка тестового окружения телекоммуникационных проектов
- Год: 2011
- Выпуск: 4
- 0
- 8624
- Страницы: 149-152
Архитектура сервиса для решения ресурсоемких задач в распределенной вычислительной среде
- Год: 2011
- Выпуск: 4
- 0
- 8651
- Страницы: 146-149
Средства быстрой разработки предметно-ориентированных решений в metacasе-средстве QREAL
- Год: 2011
- Выпуск: 4
- 0
- 8283
- Страницы: 142-145
Методика отладки на основе воспроизведения трассы исполнения приложения на языке Java
- Год: 2010
- Выпуск: 4
- 0
- 8754
- Страницы: 195-199
Генерация формальной модели системы по требованиям, заданным в нотации Use Case Map
- Год: 2010
- Выпуск: 4
- 1
- 8456
- Страницы: 191-195
Интегрированная среда автоматизации тестирования на основе технологии Eclipse
- Год: 2010
- Выпуск: 4
- 0
- 8658
- Страницы: 186-191
Автоматизация тестирования проектов в области телекоммуникаций
- Год: 2010
- Выпуск: 4
- 0
- 8582
- Страницы: 180-185
Реализация и практическое применение системы ASPECT.NET для академической версии .NET
- Год: 2010
- Выпуск: 4
- 0
- 8241
- Страницы: 174-179
Применение метода эвристик для создания оптимального набора тестовых сценариев
- Год: 2010
- Выпуск: 4
- 0
- 8394
- Страницы: 169-174
Разработка и реализация основ компилятора С# с помощью Microsoft Phoenix
- Год: 2010
- Выпуск: 4
- 0
- 8320
- Страницы: 164-169
Остаточное тестирование клиентского приложения по протоколу XMPP
- Год: 2009
- Выпуск: 3
- 0
- 8202
- Страницы: 242-246
Автоматизация формализации требований к программным проектам
- Год: 2009
- Выпуск: 3
- 0
- 8286
- Страницы: 236-241
Методика промышленного тестирования библиотек численных методов
- Год: 2009
- Выпуск: 3
- 0
- 8088
- Страницы: 216-220
Программа расчета показателя надежности системы с прямым включением комплекта ЗИП в модель надежности
- Год: 2009
- Выпуск: 3
- 0
- 8478
- Страницы: 212-216
Автоматизация тестирования телекоммуникационных приложений
- Год: 2009
- Выпуск: 3
- 0
- 8380
- Страницы: 208-212
Система визуального контроля загруженности высокопроизводительных многоядерных архитектур
- Год: 2009
- Выпуск: 3
- 0
- 8494
- Страницы: 204-208
Разработка программного продукта для подбора конфигураций информационных центров
- Год: 2014
- Выпуск: 3
- 219
- 9170
- Страницы: 92-98
Подход к тестированию параллельных систем на основе UCM-спецификаций
- Год: 2014
- Выпуск: 3
- 287
- 9036
- Страницы: 85-91
Тестирование на основе ключевых слов с использованием диаграмм последовательности событий
- Год: 2014
- Выпуск: 3
- 399
- 8993
- Страницы: 78-84
Ограничения на многопоточные конструкции и временные задержки языка UCM
- Год: 2013
- Выпуск: 3
- 534
- 9617
- Страницы: 148-153
Применение методик формализации для построения верификационных моделей систем по UCM-спецификациям
- Год: 2011
- Выпуск: 3
- 1
- 8364
- Страницы: 180-184
Автоматизация тестирования с использованием символических трасс
- Год: 2011
- Выпуск: 3
- 0
- 8826
- Страницы: 175-180
Интерактивная визуализация графа ИКТ-инфраструктуры организации
- Год: 2011
- Выпуск: 3
- 0
- 8438
- Страницы: 172-175
Применение методов аспектно-ориентированного программирования при разработке программных систем
- Год: 2011
- Выпуск: 3
- 0
- 8795
- Страницы: 166-171

