График выхода журналов
-
№1 Март 2021
-
№2 Июнь 2021
-
№3 Сентябрь 2021
Последние выпуски
- 2020, Том 13 Выпуск 3 Полный текст
- 2020, Том 13 Выпуск 2 Полный текст
- 2020, Том 13 Выпуск 1 Полный текст
- 2019, Том 12 Выпуск 4 Полный текст
Статьи из рубрики "Конференция «Технологии Microsoft в теории и практике программирования»"
Автоматизация тестирования на основе покрытия пользовательских сценариев
- Год: 2012
- Выпуск: 4
- 0
- 1770
- Страницы: 123-126
Построение системы автоматизации статической и динамической проверки требований к программному продукту
- Год: 2012
- Выпуск: 4
- 0
- 1727
- Страницы: 119-123
Статический метод отладки тестовых сценариев, сгенерированных с использованием эвристик
- Год: 2012
- Выпуск: 4
- 0
- 1803
- Страницы: 114-119
Методика разработки мобильных приложений для платформы WINDOWS PHONE 7
- Год: 2012
- Выпуск: 4
- 0
- 1735
- Страницы: 102-105
Интеграция расписания учебных курсов факультета с порталом SharePoint
- Год: 2011
- Выпуск: 4
- 0
- 1695
- Страницы: 152-156
Автоматическая настройка тестового окружения телекоммуникационных проектов
- Год: 2011
- Выпуск: 4
- 0
- 1856
- Страницы: 149-152
Архитектура сервиса для решения ресурсоемких задач в распределенной вычислительной среде
- Год: 2011
- Выпуск: 4
- 0
- 1877
- Страницы: 146-149
Средства быстрой разработки предметно-ориентированных решений в metacasе-средстве QREAL
- Год: 2011
- Выпуск: 4
- 0
- 1717
- Страницы: 142-145
Подход к разработке математического и программного обеспечения встраиваемых АСНИ и высокоскоростных камер
- Год: 2010
- Выпуск: 4
- 0
- 1703
- Страницы: 205-210
Прототип эвристической системы обнаружения вторжений в компьютерные сети на основе метода главных компонент
- Год: 2010
- Выпуск: 4
- 0
- 1792
- Страницы: 200-204
Методика отладки на основе воспроизведения трассы исполнения приложения на языке Java
- Год: 2010
- Выпуск: 4
- 0
- 1797
- Страницы: 195-199
Генерация формальной модели системы по требованиям, заданным в нотации Use Case Map
- Год: 2010
- Выпуск: 4
- 1
- 1703
- Страницы: 191-195
Интегрированная среда автоматизации тестирования на основе технологии Eclipse
- Год: 2010
- Выпуск: 4
- 0
- 1743
- Страницы: 186-191
Автоматизация тестирования проектов в области телекоммуникаций
- Год: 2010
- Выпуск: 4
- 0
- 1734
- Страницы: 180-185
Реализация и практическое применение системы ASPECT.NET для академической версии .NET
- Год: 2010
- Выпуск: 4
- 0
- 1824
- Страницы: 174-179
Применение метода эвристик для создания оптимального набора тестовых сценариев
- Год: 2010
- Выпуск: 4
- 0
- 1724
- Страницы: 169-174
Разработка и реализация основ компилятора С# с помощью Microsoft Phoenix
- Год: 2010
- Выпуск: 4
- 0
- 1678
- Страницы: 164-169
Остаточное тестирование клиентского приложения по протоколу XMPP
- Год: 2009
- Выпуск: 3
- 0
- 1636
- Страницы: 242-246
Автоматизация формализации требований к программным проектам
- Год: 2009
- Выпуск: 3
- 0
- 1615
- Страницы: 236-241
Разработка и практическое применение аспектно-ориентированной среды программирования для платформы Microsoft.Net
- Год: 2009
- Выпуск: 3
- 0
- 1656
- Страницы: 225-232
Методика промышленного тестирования библиотек численных методов
- Год: 2009
- Выпуск: 3
- 0
- 1657
- Страницы: 216-220
Программа расчета показателя надежности системы с прямым включением комплекта ЗИП в модель надежности
- Год: 2009
- Выпуск: 3
- 0
- 1711
- Страницы: 212-216
Автоматизация тестирования телекоммуникационных приложений
- Год: 2009
- Выпуск: 3
- 0
- 1716
- Страницы: 208-212
Система визуального контроля загруженности высокопроизводительных многоядерных архитектур
- Год: 2009
- Выпуск: 3
- 0
- 1719
- Страницы: 204-208
Разработка программного продукта для подбора конфигураций информационных центров
- Год: 2014
- Выпуск: 3
- 219
- 2154
- Страницы: 92-98
Подход к тестированию параллельных систем на основе UCM-спецификаций
- Год: 2014
- Выпуск: 3
- 287
- 2079
- Страницы: 85-91
Тестирование на основе ключевых слов с использованием диаграмм последовательности событий
- Год: 2014
- Выпуск: 3
- 396
- 2356
- Страницы: 78-84
Ограничения на многопоточные конструкции и временные задержки языка UCM
- Год: 2013
- Выпуск: 3
- 534
- 2661
- Страницы: 148-153
Применение методик формализации для построения верификационных моделей систем по UCM-спецификациям
- Год: 2011
- Выпуск: 3
- 0
- 1824
- Страницы: 180-184
Автоматизация тестирования с использованием символических трасс
- Год: 2011
- Выпуск: 3
- 0
- 1721
- Страницы: 175-180
Интерактивная визуализация графа ИКТ-инфраструктуры организации
- Год: 2011
- Выпуск: 3
- 0
- 1744
- Страницы: 172-175
Применение методов аспектно-ориентированного программирования при разработке программных систем
- Год: 2011
- Выпуск: 3
- 0
- 1816
- Страницы: 166-171