Инженерия качества процессов производства программных систем с помощью сетей Петри
Моделирование процессов производства программных продуктов и сервисов является важной частью их анализа и позволяет обнаруживать ошибки и слабые места на ранних стадиях жизненного цикла проектов, тем самым минимизируя затраты на их исправление. В данной работе применяется формализм сетей Петри для м...
Gespeichert in:
| Datum: | 2010 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2010
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/14696 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Инженерия качества процессов производства программных систем с помощью сетей Петри / Л.Е. Матвеева// Пробл. програмув. — 2010. — № 2-3. — С. 277-283. — Бібліогр.: 19 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-14696 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Инженерия качества процессов производства программных систем с помощью сетей Петри |
| spellingShingle |
Инженерия качества процессов производства программных систем с помощью сетей Петри Матвеева, Л.Е. Методи та засоби програмної інженерії |
| title_short |
Инженерия качества процессов производства программных систем с помощью сетей Петри |
| title_full |
Инженерия качества процессов производства программных систем с помощью сетей Петри |
| title_fullStr |
Инженерия качества процессов производства программных систем с помощью сетей Петри |
| title_full_unstemmed |
Инженерия качества процессов производства программных систем с помощью сетей Петри |
| title_sort |
инженерия качества процессов производства программных систем с помощью сетей петри |
| author |
Матвеева, Л.Е. |
| author_facet |
Матвеева, Л.Е. |
| topic |
Методи та засоби програмної інженерії |
| topic_facet |
Методи та засоби програмної інженерії |
| publishDate |
2010 |
| language |
Russian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Engineering of software development processes quality by means of Petri Nets |
| 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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/14696 |
| citation_txt |
Инженерия качества процессов производства программных систем с помощью сетей Петри / Л.Е. Матвеева// Пробл. програмув. — 2010. — № 2-3. — С. 277-283. — Бібліогр.: 19 назв. — рос. |
| work_keys_str_mv |
AT matveevale inženeriâkačestvaprocessovproizvodstvaprogrammnyhsistemspomoŝʹûseteipetri AT matveevale engineeringofsoftwaredevelopmentprocessesqualitybymeansofpetrinets |
| first_indexed |
2025-12-07T17:38:39Z |
| last_indexed |
2025-12-07T17:38:39Z |
| _version_ |
1850872031242878976 |