График выхода изданий
  • №4 Декабрь 2024
  • №1 Март 2025
  • №2 Июнь 2025
  • №3 Сентябрь 2025

Статьи из рубрики "Конференция «Технологии Microsoft в теории и практике программирования»"

Автоматизация тестирования на основе покрытия пользовательских сценариев

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2012
  • Выпуск: 4
  • 0
  • 6181
  • Страницы: 123-126

Построение системы автоматизации статической и динамической проверки требований к программному продукту

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2012
  • Выпуск: 4
  • 0
  • 5996
  • Страницы: 119-123

Статический метод отладки тестовых сценариев, сгенерированных с использованием эвристик

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2012
  • Выпуск: 4
  • 0
  • 6186
  • Страницы: 114-119

Статический анализ требований реактивных систем

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2012
  • Выпуск: 4
  • 0
  • 6039
  • Страницы: 109-114

Автоматическое управление параметрами средств формирования изображений в системах распознавания текстовых меток реального времени

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2012
  • Выпуск: 4
  • 0
  • 5937
  • Страницы: 106-109

Методика разработки мобильных приложений для платформы WINDOWS PHONE 7

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2012
  • Выпуск: 4
  • 0
  • 6143
  • Страницы: 102-105

Применение элементов аспектно-ориентированного подхода ASPECT.NET при разработке геолокационной системы управления ресурсами для облачной платформы MICROSOFT WINDOWS AZURE

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2012
  • Выпуск: 4
  • 0
  • 5862
  • Страницы: 98-102

Интеграция расписания учебных курсов факультета с порталом SharePoint

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2011
  • Выпуск: 4
  • 0
  • 5766
  • Страницы: 152-156

Автоматическая настройка тестового окружения телекоммуникационных проектов

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2011
  • Выпуск: 4
  • 0
  • 6096
  • Страницы: 149-152

Архитектура сервиса для решения ресурсоемких задач в распределенной вычислительной среде

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2011
  • Выпуск: 4
  • 0
  • 6125
  • Страницы: 146-149

Средства быстрой разработки предметно-ориентированных решений в metacasе-средстве QREAL

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2011
  • Выпуск: 4
  • 0
  • 5816
  • Страницы: 142-145

Подход к разработке математического и программного обеспечения встраиваемых АСНИ и высокоскоростных камер

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2010
  • Выпуск: 4
  • 0
  • 6013
  • Страницы: 205-210

Прототип эвристической системы обнаружения вторжений в компьютерные сети на основе метода главных компонент

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2010
  • Выпуск: 4
  • 0
  • 6059
  • Страницы: 200-204

Методика отладки на основе воспроизведения трассы исполнения приложения на языке Java

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2010
  • Выпуск: 4
  • 0
  • 6084
  • Страницы: 195-199

Генерация формальной модели системы по требованиям, заданным в нотации Use Case Map

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2010
  • Выпуск: 4
  • 1
  • 5923
  • Страницы: 191-195

Интегрированная среда автоматизации тестирования на основе технологии Eclipse

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2010
  • Выпуск: 4
  • 0
  • 5935
  • Страницы: 186-191

Автоматизация тестирования проектов в области телекоммуникаций

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2010
  • Выпуск: 4
  • 0
  • 6024
  • Страницы: 180-185

Реализация и практическое применение системы ASPECT.NET для академической версии .NET

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2010
  • Выпуск: 4
  • 0
  • 5865
  • Страницы: 174-179

Применение метода эвристик для создания оптимального набора тестовых сценариев

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2010
  • Выпуск: 4
  • 0
  • 5897
  • Страницы: 169-174

Разработка и реализация основ компилятора С# с помощью Microsoft Phoenix

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2010
  • Выпуск: 4
  • 0
  • 5873
  • Страницы: 164-169

Конференция студентов, аспирантов и молодых ученых Северо-Запада «Технологии Microsoft в теории и практике программирования»

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2010
  • Выпуск: 4
  • 0
  • 5947
  • Страницы: 163-163

Разработка математического программного обеспечения системы определения параметров трековых микро и нанофильтрационных мембран

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 5680
  • Страницы: 250-255

Моделирование процессов распространения заряженных частиц и жесткого электромагнитного излучения с использованием технологий высокопроизводительных и распределенных вычислений

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 6133
  • Страницы: 246-250

Остаточное тестирование клиентского приложения по протоколу XMPP

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 5844
  • Страницы: 242-246

Автоматизация формализации требований к программным проектам

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 5909
  • Страницы: 236-241

Автоформализация фрагментов JAVA-кода для UML-моделей

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 5967
  • Страницы: 232-236

Разработка и практическое применение аспектно-ориентированной среды программирования для платформы Microsoft.Net

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 5955
  • Страницы: 225-232

Верификация и автоматизация тестирования UML-проектов

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 6694
  • Страницы: 220-225

Методика промышленного тестирования библиотек численных методов

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 5816
  • Страницы: 216-220

Программа расчета показателя надежности системы с прямым включением комплекта ЗИП в модель надежности

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 6102
  • Страницы: 212-216

Автоматизация тестирования телекоммуникационных приложений

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 6002
  • Страницы: 208-212

Система визуального контроля загруженности высокопроизводительных многоядерных архитектур

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 6032
  • Страницы: 204-208

Разработка программного продукта для подбора конфигураций информационных центров

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2014
  • Выпуск: 3
  • 219
  • 6589
  • Страницы: 92-98

Подход к тестированию параллельных систем на основе UCM-спецификаций

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2014
  • Выпуск: 3
  • 287
  • 6333
  • Страницы: 85-91

Тестирование на основе ключевых слов с использованием диаграмм последовательности событий

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2014
  • Выпуск: 3
  • 399
  • 6579
  • Страницы: 78-84

Ограничения на многопоточные конструкции и временные задержки языка UCM

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2013
  • Выпуск: 3
  • 534
  • 7005
  • Страницы: 148-153

Применение методик формализации для построения верификационных моделей систем по UCM-спецификациям

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2011
  • Выпуск: 3
  • 0
  • 5990
  • Страницы: 180-184

Автоматизация тестирования с использованием символических трасс

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2011
  • Выпуск: 3
  • 0
  • 6125
  • Страницы: 175-180

Интерактивная визуализация графа ИКТ-инфраструктуры организации

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2011
  • Выпуск: 3
  • 0
  • 5999
  • Страницы: 172-175

Применение методов аспектно-ориентированного программирования при разработке программных систем

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2011
  • Выпуск: 3
  • 0
  • 6261
  • Страницы: 166-171