Перегляд за автором "Матвеева, Л.Е."

Результати 1-5 з 5

Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри

Матвеева, Л.Е. (2004)

За останні 20 років формальні методи почали широко використовуватись для специфікації, аналізу, верифікації та відповідного тестування програмних та технічних систем і, зокрема, телекомунікаційних протоколів [1]. В даній ...
Инженерия качества процессов производства программных систем с помощью сетей Петри

Матвеева, Л.Е. (2010)

Моделирование процессов производства программных продуктов и сервисов является важной частью их анализа и позволяет обнаруживать ошибки и слабые места на ранних стадиях жизненного цикла проектов, тем самым минимизируя ...
Использование принципов Agile при внедрении процесса производства программного продукта, основанного на СММI

Матвеева, Л.Е. (Управляющие системы и машины, 2010)

Представлен подход к усовершенствованию процесса производства программного обеспечения, основанного на СММI, заключающийся в эффективном использовании принципов и методов гибкой разработки. Описан опыт внедрения различных практик.
Исследование свойств документов MSC с помощью преобразования их в сети Петри

Крывый, С.Л.; Чугаенко, А.В.; Матвеева, Л.Е. (Кибернетика и системный анализ, 2009)

Розглянуто остаточний варіант алгоритму трансляції документів з мови MSC-2000 у мережі Петрі, що подійно еквівалентні до них. Вхідний документ може використовувати довільні елементи мови MSC-2000, але значення елементів у ...
Применение статистических моделей в инженерии качества процессов производства программных систем

Матвеева, Л.Е.; Гориславец, Т.Н. (Проблеми програмування, 2012)

Эффективный и корректно исполняемый процесс производства программных систем в рамках средних и больших проектов является определяющим фактором качества этих систем. С целью предупреждения возникновения дефектов в процессах ...

Результати 1-5 з 5

Пошук

Розширений пошук

Перегляд

Вся бібліотека

Перегляд за автором "Матвеева, Л.Е."

Репозиторій DSpace/Manakin

Перегляд за автором "Матвеева, Л.Е."

Пошук

Перегляд

Вся бібліотека

Мій обліковий запис