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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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