График выхода изданий
-
№4 Декабрь 2025
-
№1 Март 2026Статьи принимаются до: 27 Февраля 2026
-
№2 Июнь 2026Статьи принимаются до: 29 Мая 2026
-
№3 Сентябрь 2026Статьи принимаются до: 31 Августа 2026
Последние выпуски
- 2025, Том 18 Выпуск 3 Полный текст
- 2025, Том 18 Выпуск 2 Полный текст
- 2025, Том 18 Выпуск 1 Полный текст
- 2024, Том 17 Выпуск 4 Полный текст
Статьи из рубрики "Конференция «Технологии Microsoft в теории и практике программирования»"
Автоматизация тестирования на основе покрытия пользовательских сценариев
- Год: 2012
- Выпуск: 4
- 0
- 7760
- Страницы: 123-126
Построение системы автоматизации статической и динамической проверки требований к программному продукту
- Год: 2012
- Выпуск: 4
- 0
- 7521
- Страницы: 119-123
Статический метод отладки тестовых сценариев, сгенерированных с использованием эвристик
- Год: 2012
- Выпуск: 4
- 0
- 7675
- Страницы: 114-119
Методика разработки мобильных приложений для платформы WINDOWS PHONE 7
- Год: 2012
- Выпуск: 4
- 0
- 7607
- Страницы: 102-105
Интеграция расписания учебных курсов факультета с порталом SharePoint
- Год: 2011
- Выпуск: 4
- 0
- 7163
- Страницы: 152-156
Автоматическая настройка тестового окружения телекоммуникационных проектов
- Год: 2011
- Выпуск: 4
- 0
- 7655
- Страницы: 149-152
Архитектура сервиса для решения ресурсоемких задач в распределенной вычислительной среде
- Год: 2011
- Выпуск: 4
- 0
- 7637
- Страницы: 146-149
Средства быстрой разработки предметно-ориентированных решений в metacasе-средстве QREAL
- Год: 2011
- Выпуск: 4
- 0
- 7292
- Страницы: 142-145
Подход к разработке математического и программного обеспечения встраиваемых АСНИ и высокоскоростных камер
- Год: 2010
- Выпуск: 4
- 0
- 7834
- Страницы: 205-210
Прототип эвристической системы обнаружения вторжений в компьютерные сети на основе метода главных компонент
- Год: 2010
- Выпуск: 4
- 0
- 7908
- Страницы: 200-204
Методика отладки на основе воспроизведения трассы исполнения приложения на языке Java
- Год: 2010
- Выпуск: 4
- 0
- 7794
- Страницы: 195-199
Генерация формальной модели системы по требованиям, заданным в нотации Use Case Map
- Год: 2010
- Выпуск: 4
- 1
- 7458
- Страницы: 191-195
Интегрированная среда автоматизации тестирования на основе технологии Eclipse
- Год: 2010
- Выпуск: 4
- 0
- 7624
- Страницы: 186-191
Автоматизация тестирования проектов в области телекоммуникаций
- Год: 2010
- Выпуск: 4
- 0
- 7592
- Страницы: 180-185
Реализация и практическое применение системы ASPECT.NET для академической версии .NET
- Год: 2010
- Выпуск: 4
- 0
- 7310
- Страницы: 174-179
Применение метода эвристик для создания оптимального набора тестовых сценариев
- Год: 2010
- Выпуск: 4
- 0
- 7421
- Страницы: 169-174
Разработка и реализация основ компилятора С# с помощью Microsoft Phoenix
- Год: 2010
- Выпуск: 4
- 0
- 7377
- Страницы: 164-169
Остаточное тестирование клиентского приложения по протоколу XMPP
- Год: 2009
- Выпуск: 3
- 0
- 7277
- Страницы: 242-246
Автоматизация формализации требований к программным проектам
- Год: 2009
- Выпуск: 3
- 0
- 7337
- Страницы: 236-241
Разработка и практическое применение аспектно-ориентированной среды программирования для платформы Microsoft.Net
- Год: 2009
- Выпуск: 3
- 0
- 7626
- Страницы: 225-232
Методика промышленного тестирования библиотек численных методов
- Год: 2009
- Выпуск: 3
- 0
- 7190
- Страницы: 216-220
Программа расчета показателя надежности системы с прямым включением комплекта ЗИП в модель надежности
- Год: 2009
- Выпуск: 3
- 0
- 7556
- Страницы: 212-216
Автоматизация тестирования телекоммуникационных приложений
- Год: 2009
- Выпуск: 3
- 0
- 7450
- Страницы: 208-212
Система визуального контроля загруженности высокопроизводительных многоядерных архитектур
- Год: 2009
- Выпуск: 3
- 0
- 7566
- Страницы: 204-208
Разработка программного продукта для подбора конфигураций информационных центров
- Год: 2014
- Выпуск: 3
- 219
- 8152
- Страницы: 92-98
Подход к тестированию параллельных систем на основе UCM-спецификаций
- Год: 2014
- Выпуск: 3
- 287
- 7981
- Страницы: 85-91
Тестирование на основе ключевых слов с использованием диаграмм последовательности событий
- Год: 2014
- Выпуск: 3
- 399
- 8045
- Страницы: 78-84
Ограничения на многопоточные конструкции и временные задержки языка UCM
- Год: 2013
- Выпуск: 3
- 534
- 8610
- Страницы: 148-153
Применение методик формализации для построения верификационных моделей систем по UCM-спецификациям
- Год: 2011
- Выпуск: 3
- 0
- 7444
- Страницы: 180-184
Автоматизация тестирования с использованием символических трасс
- Год: 2011
- Выпуск: 3
- 0
- 7776
- Страницы: 175-180
Интерактивная визуализация графа ИКТ-инфраструктуры организации
- Год: 2011
- Выпуск: 3
- 0
- 7470
- Страницы: 172-175
Применение методов аспектно-ориентированного программирования при разработке программных систем
- Год: 2011
- Выпуск: 3
- 0
- 7818
- Страницы: 166-171