Инженерия качества процессов производства программных систем с помощью сетей Петри

Инженерия качества процессов производства программных систем с помощью сетей Петри

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

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2010
Автор: Матвеева, Л.Е.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут програмних систем НАН України 2010
Теми:
Методи та засоби програмної інженерії
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/14696
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Инженерия качества процессов производства программных систем с помощью сетей Петри / Л.Е. Матвеева// Пробл. програмув. — 2010. — № 2-3. — С. 277-283. — Бібліогр.: 19 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-14696
record_format dspace
spelling irk-123456789-146962010-12-28T12:03:13Z Инженерия качества процессов производства программных систем с помощью сетей Петри Матвеева, Л.Е. Методи та засоби програмної інженерії Моделирование процессов производства программных продуктов и сервисов является важной частью их анализа и позволяет обнаруживать ошибки и слабые места на ранних стадиях жизненного цикла проектов, тем самым минимизируя затраты на их исправление. В данной работе применяется формализм сетей Петри для моделирования разработанной автором и внедренной в производство процедуры аудита качества с целью ее анализа, улучшения и настройки. Для анализа модели в виде ординарной сети Петри с одноцветными фишками решаются системы линейных однородных диофантовых уравнений над множеством натуральных чисел. Analysis of software development processes models can contribute to the early detection of errors. By analyzing the models it is possible to prove specific properties of these models, and to gain deeper insights into their nature. In given paper the formal modelling technique of Petri nets is applied and is based on linear algebra methods of analysis in order to research some properties of auditing process developed by the author. 2010 Article Инженерия качества процессов производства программных систем с помощью сетей Петри / Л.Е. Матвеева// Пробл. програмув. — 2010. — № 2-3. — С. 277-283. — Бібліогр.: 19 назв. — рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/14696 681.3.06 ru Інститут програмних систем НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Методи та засоби програмної інженерії
Методи та засоби програмної інженерії
spellingShingle Методи та засоби програмної інженерії
Методи та засоби програмної інженерії
Матвеева, Л.Е.
Инженерия качества процессов производства программных систем с помощью сетей Петри
description Моделирование процессов производства программных продуктов и сервисов является важной частью их анализа и позволяет обнаруживать ошибки и слабые места на ранних стадиях жизненного цикла проектов, тем самым минимизируя затраты на их исправление. В данной работе применяется формализм сетей Петри для моделирования разработанной автором и внедренной в производство процедуры аудита качества с целью ее анализа, улучшения и настройки. Для анализа модели в виде ординарной сети Петри с одноцветными фишками решаются системы линейных однородных диофантовых уравнений над множеством натуральных чисел.
format Article
author Матвеева, Л.Е.
author_facet Матвеева, Л.Е.
author_sort Матвеева, Л.Е.
title Инженерия качества процессов производства программных систем с помощью сетей Петри
title_short Инженерия качества процессов производства программных систем с помощью сетей Петри
title_full Инженерия качества процессов производства программных систем с помощью сетей Петри
title_fullStr Инженерия качества процессов производства программных систем с помощью сетей Петри
title_full_unstemmed Инженерия качества процессов производства программных систем с помощью сетей Петри
title_sort инженерия качества процессов производства программных систем с помощью сетей петри
publisher Інститут програмних систем НАН України
publishDate 2010
topic_facet Методи та засоби програмної інженерії
url http://dspace.nbuv.gov.ua/handle/123456789/14696
citation_txt Инженерия качества процессов производства программных систем с помощью сетей Петри / Л.Е. Матвеева// Пробл. програмув. — 2010. — № 2-3. — С. 277-283. — Бібліогр.: 19 назв. — рос.
work_keys_str_mv AT matveevale inženeriâkačestvaprocessovproizvodstvaprogrammnyhsistemspomoŝʹûsetejpetri
first_indexed 2023-10-18T16:53:41Z
last_indexed 2023-10-18T16:53:41Z
_version_ 1796140153295601664

Схожі ресурси