Инженерия качества процессов производства программных систем с помощью сетей Петри
Моделирование процессов производства программных продуктов и сервисов является важной частью их анализа и позволяет обнаруживать ошибки и слабые места на ранних стадиях жизненного цикла проектов, тем самым минимизируя затраты на их исправление. В данной работе применяется формализм сетей Петри для м...
Збережено в:
| Дата: | 2010 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2010
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.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| _version_ | 1862712696353325056 |
|---|---|
| author | Матвеева, Л.Е. |
| author_facet | Матвеева, Л.Е. |
| citation_txt | Инженерия качества процессов производства программных систем с помощью сетей Петри / Л.Е. Матвеева// Пробл. програмув. — 2010. — № 2-3. — С. 277-283. — Бібліогр.: 19 назв. — рос. |
| collection | DSpace DC |
| description | Моделирование процессов производства программных продуктов и сервисов является важной частью их анализа и позволяет обнаруживать ошибки и слабые места на ранних стадиях жизненного цикла проектов, тем самым минимизируя затраты на их исправление. В данной работе применяется формализм сетей Петри для моделирования разработанной автором и внедренной в производство процедуры аудита качества с целью ее анализа, улучшения и настройки. Для анализа модели в виде ординарной сети Петри с одноцветными фишками решаются системы линейных однородных диофантовых уравнений над множеством натуральных чисел.
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.
|
| first_indexed | 2025-12-07T17:38:39Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-14696 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-07T17:38:39Z |
| publishDate | 2010 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Матвеева, Л.Е. 2010-12-27T17:11:26Z 2010-12-27T17:11:26Z 2010 Инженерия качества процессов производства программных систем с помощью сетей Петри / Л.Е. Матвеева// Пробл. програмув. — 2010. — № 2-3. — С. 277-283. — Бібліогр.: 19 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/14696 681.3.06 Моделирование процессов производства программных продуктов и сервисов является важной частью их анализа и позволяет обнаруживать ошибки и слабые места на ранних стадиях жизненного цикла проектов, тем самым минимизируя затраты на их исправление. В данной работе применяется формализм сетей Петри для моделирования разработанной автором и внедренной в производство процедуры аудита качества с целью ее анализа, улучшения и настройки. Для анализа модели в виде ординарной сети Петри с одноцветными фишками решаются системы линейных однородных диофантовых уравнений над множеством натуральных чисел. 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. ru Інститут програмних систем НАН України Методи та засоби програмної інженерії Инженерия качества процессов производства программных систем с помощью сетей Петри Engineering of software development processes quality by means of Petri Nets Article published earlier |
| spellingShingle | Инженерия качества процессов производства программных систем с помощью сетей Петри Матвеева, Л.Е. Методи та засоби програмної інженерії |
| title | Инженерия качества процессов производства программных систем с помощью сетей Петри |
| title_alt | Engineering of software development processes quality by means of Petri Nets |
| title_full | Инженерия качества процессов производства программных систем с помощью сетей Петри |
| title_fullStr | Инженерия качества процессов производства программных систем с помощью сетей Петри |
| title_full_unstemmed | Инженерия качества процессов производства программных систем с помощью сетей Петри |
| title_short | Инженерия качества процессов производства программных систем с помощью сетей Петри |
| title_sort | инженерия качества процессов производства программных систем с помощью сетей петри |
| topic | Методи та засоби програмної інженерії |
| topic_facet | Методи та засоби програмної інженерії |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/14696 |
| work_keys_str_mv | AT matveevale inženeriâkačestvaprocessovproizvodstvaprogrammnyhsistemspomoŝʹûseteipetri AT matveevale engineeringofsoftwaredevelopmentprocessesqualitybymeansofpetrinets |