График выхода изданий
- №3 Сентябрь 2026Статьи принимаются до: 31 Июля 2026
- №4 Декабрь 2026
- №1 Март 2027
- №2 Июнь 2027
Последние выпуски
Статьи из рубрики "Конференция «Технологии Microsoft в теории и практике программирования»"
Автоматизация тестирования на основе покрытия пользовательских сценариев
- Год: 2012
- Выпуск: 4
- 0
- 9016
- Страницы: 123-126
Статический метод отладки тестовых сценариев, сгенерированных с использованием эвристик
- Год: 2012
- Выпуск: 4
- 1
- 8963
- Страницы: 114-119
Методика разработки мобильных приложений для платформы WINDOWS PHONE 7
- Год: 2012
- Выпуск: 4
- 0
- 8853
- Страницы: 102-105
Интеграция расписания учебных курсов факультета с порталом SharePoint
- Год: 2011
- Выпуск: 4
- 0
- 8363
- Страницы: 152-156
Автоматическая настройка тестового окружения телекоммуникационных проектов
- Год: 2011
- Выпуск: 4
- 0
- 8900
- Страницы: 149-152
Архитектура сервиса для решения ресурсоемких задач в распределенной вычислительной среде
- Год: 2011
- Выпуск: 4
- 0
- 8934
- Страницы: 146-149
Средства быстрой разработки предметно-ориентированных решений в metacasе-средстве QREAL
- Год: 2011
- Выпуск: 4
- 0
- 8540
- Страницы: 142-145
Методика отладки на основе воспроизведения трассы исполнения приложения на языке Java
- Год: 2010
- Выпуск: 4
- 0
- 9025
- Страницы: 195-199
Генерация формальной модели системы по требованиям, заданным в нотации Use Case Map
- Год: 2010
- Выпуск: 4
- 1
- 8723
- Страницы: 191-195
Интегрированная среда автоматизации тестирования на основе технологии Eclipse
- Год: 2010
- Выпуск: 4
- 0
- 8923
- Страницы: 186-191
Автоматизация тестирования проектов в области телекоммуникаций
- Год: 2010
- Выпуск: 4
- 0
- 8844
- Страницы: 180-185
Реализация и практическое применение системы ASPECT.NET для академической версии .NET
- Год: 2010
- Выпуск: 4
- 0
- 8505
- Страницы: 174-179
Применение метода эвристик для создания оптимального набора тестовых сценариев
- Год: 2010
- Выпуск: 4
- 0
- 8659
- Страницы: 169-174
Разработка и реализация основ компилятора С# с помощью Microsoft Phoenix
- Год: 2010
- Выпуск: 4
- 0
- 8571
- Страницы: 164-169
Остаточное тестирование клиентского приложения по протоколу XMPP
- Год: 2009
- Выпуск: 3
- 0
- 8476
- Страницы: 242-246
Автоматизация формализации требований к программным проектам
- Год: 2009
- Выпуск: 3
- 0
- 8556
- Страницы: 236-241
Методика промышленного тестирования библиотек численных методов
- Год: 2009
- Выпуск: 3
- 0
- 8338
- Страницы: 216-220
Программа расчета показателя надежности системы с прямым включением комплекта ЗИП в модель надежности
- Год: 2009
- Выпуск: 3
- 0
- 8750
- Страницы: 212-216
Автоматизация тестирования телекоммуникационных приложений
- Год: 2009
- Выпуск: 3
- 0
- 8635
- Страницы: 208-212
Система визуального контроля загруженности высокопроизводительных многоядерных архитектур
- Год: 2009
- Выпуск: 3
- 0
- 8766
- Страницы: 204-208
Разработка программного продукта для подбора конфигураций информационных центров
- Год: 2014
- Выпуск: 3
- 219
- 9474
- Страницы: 92-98
Подход к тестированию параллельных систем на основе UCM-спецификаций
- Год: 2014
- Выпуск: 3
- 289
- 9320
- Страницы: 85-91
Тестирование на основе ключевых слов с использованием диаграмм последовательности событий
- Год: 2014
- Выпуск: 3
- 399
- 9257
- Страницы: 78-84
Ограничения на многопоточные конструкции и временные задержки языка UCM
- Год: 2013
- Выпуск: 3
- 535
- 9887
- Страницы: 148-153
Применение методик формализации для построения верификационных моделей систем по UCM-спецификациям
- Год: 2011
- Выпуск: 3
- 1
- 8613
- Страницы: 180-184
Автоматизация тестирования с использованием символических трасс
- Год: 2011
- Выпуск: 3
- 0
- 9099
- Страницы: 175-180
Интерактивная визуализация графа ИКТ-инфраструктуры организации
- Год: 2011
- Выпуск: 3
- 0
- 8697
- Страницы: 172-175
Применение методов аспектно-ориентированного программирования при разработке программных систем
- Год: 2011
- Выпуск: 3
- 0
- 9072
- Страницы: 166-171

