График выхода журналов
-
№4 Декабрь 2023
-
№1 Март 2024
-
№2 Июнь 2024
-
№3 Сентябрь 2024
Последние выпуски
- 2023, Том 16 Выпуск 3 Полный текст
- 2023, Том 16 Выпуск 2 Полный текст
- 2023, Том 16 Выпуск 1 Полный текст
- 2022, Том 15 Выпуск 4 Полный текст
Статьи из рубрики "Конференция «Технологии Microsoft в теории и практике программирования»"
Автоматизация тестирования на основе покрытия пользовательских сценариев
- Год: 2012
- Выпуск: 4
- 0
- 4882
- Страницы: 123-126
Построение системы автоматизации статической и динамической проверки требований к программному продукту
- Год: 2012
- Выпуск: 4
- 0
- 4682
- Страницы: 119-123
Статический метод отладки тестовых сценариев, сгенерированных с использованием эвристик
- Год: 2012
- Выпуск: 4
- 0
- 4858
- Страницы: 114-119
Методика разработки мобильных приложений для платформы WINDOWS PHONE 7
- Год: 2012
- Выпуск: 4
- 0
- 4876
- Страницы: 102-105
Интеграция расписания учебных курсов факультета с порталом SharePoint
- Год: 2011
- Выпуск: 4
- 0
- 4504
- Страницы: 152-156
Автоматическая настройка тестового окружения телекоммуникационных проектов
- Год: 2011
- Выпуск: 4
- 0
- 4751
- Страницы: 149-152
Архитектура сервиса для решения ресурсоемких задач в распределенной вычислительной среде
- Год: 2011
- Выпуск: 4
- 0
- 4806
- Страницы: 146-149
Средства быстрой разработки предметно-ориентированных решений в metacasе-средстве QREAL
- Год: 2011
- Выпуск: 4
- 0
- 4536
- Страницы: 142-145
Подход к разработке математического и программного обеспечения встраиваемых АСНИ и высокоскоростных камер
- Год: 2010
- Выпуск: 4
- 0
- 4650
- Страницы: 205-210
Прототип эвристической системы обнаружения вторжений в компьютерные сети на основе метода главных компонент
- Год: 2010
- Выпуск: 4
- 0
- 4738
- Страницы: 200-204
Методика отладки на основе воспроизведения трассы исполнения приложения на языке Java
- Год: 2010
- Выпуск: 4
- 0
- 4745
- Страницы: 195-199
Генерация формальной модели системы по требованиям, заданным в нотации Use Case Map
- Год: 2010
- Выпуск: 4
- 1
- 4574
- Страницы: 191-195
Интегрированная среда автоматизации тестирования на основе технологии Eclipse
- Год: 2010
- Выпуск: 4
- 0
- 4595
- Страницы: 186-191
Автоматизация тестирования проектов в области телекоммуникаций
- Год: 2010
- Выпуск: 4
- 0
- 4727
- Страницы: 180-185
Реализация и практическое применение системы ASPECT.NET для академической версии .NET
- Год: 2010
- Выпуск: 4
- 0
- 4619
- Страницы: 174-179
Применение метода эвристик для создания оптимального набора тестовых сценариев
- Год: 2010
- Выпуск: 4
- 0
- 4611
- Страницы: 169-174
Разработка и реализация основ компилятора С# с помощью Microsoft Phoenix
- Год: 2010
- Выпуск: 4
- 0
- 4605
- Страницы: 164-169
Остаточное тестирование клиентского приложения по протоколу XMPP
- Год: 2009
- Выпуск: 3
- 0
- 4618
- Страницы: 242-246
Автоматизация формализации требований к программным проектам
- Год: 2009
- Выпуск: 3
- 0
- 4615
- Страницы: 236-241
Разработка и практическое применение аспектно-ориентированной среды программирования для платформы Microsoft.Net
- Год: 2009
- Выпуск: 3
- 0
- 4618
- Страницы: 225-232
Методика промышленного тестирования библиотек численных методов
- Год: 2009
- Выпуск: 3
- 0
- 4534
- Страницы: 216-220
Программа расчета показателя надежности системы с прямым включением комплекта ЗИП в модель надежности
- Год: 2009
- Выпуск: 3
- 0
- 4768
- Страницы: 212-216
Автоматизация тестирования телекоммуникационных приложений
- Год: 2009
- Выпуск: 3
- 0
- 4729
- Страницы: 208-212
Система визуального контроля загруженности высокопроизводительных многоядерных архитектур
- Год: 2009
- Выпуск: 3
- 0
- 4722
- Страницы: 204-208
Разработка программного продукта для подбора конфигураций информационных центров
- Год: 2014
- Выпуск: 3
- 219
- 5233
- Страницы: 92-98
Подход к тестированию параллельных систем на основе UCM-спецификаций
- Год: 2014
- Выпуск: 3
- 287
- 5020
- Страницы: 85-91
Тестирование на основе ключевых слов с использованием диаграмм последовательности событий
- Год: 2014
- Выпуск: 3
- 398
- 5309
- Страницы: 78-84
Ограничения на многопоточные конструкции и временные задержки языка UCM
- Год: 2013
- Выпуск: 3
- 534
- 5634
- Страницы: 148-153
Применение методик формализации для построения верификационных моделей систем по UCM-спецификациям
- Год: 2011
- Выпуск: 3
- 0
- 4684
- Страницы: 180-184
Автоматизация тестирования с использованием символических трасс
- Год: 2011
- Выпуск: 3
- 0
- 4794
- Страницы: 175-180
Интерактивная визуализация графа ИКТ-инфраструктуры организации
- Год: 2011
- Выпуск: 3
- 0
- 4728
- Страницы: 172-175
Применение методов аспектно-ориентированного программирования при разработке программных систем
- Год: 2011
- Выпуск: 3
- 0
- 4919
- Страницы: 166-171