ISS Library

ИНЖЕНЕРИЯ КАЧЕСТВА ПРОЦЕССОВ ПРОИЗВОДСТВА ПРОГРАММНЫХ СИСТЕМ С ПОМОЩЬЮ СЕТЕЙ ПЕТРИ

Матвеева Л.Е. (2010) ИНЖЕНЕРИЯ КАЧЕСТВА ПРОЦЕССОВ ПРОИЗВОДСТВА ПРОГРАММНЫХ СИСТЕМ С ПОМОЩЬЮ СЕТЕЙ ПЕТРИ. In: УкрПРОГ, 25-27 травня 2010 р., м. Київ, Україна.

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
256Kb

Abstract

Моделирование процессов производства программных продуктов и сервисов является важной частью их анализа и позволяет обнаруживать ошибки и слабые места на ранних стадиях жизненного цикла проектов, тем самым минимизируя затраты на их исправление. В данной работе применяется формализм сетей Петри для моделирования разработанной автором и внедренной в производство процедуры аудита качества с целью ее анализа, улучшения и настройки. Для анализа модели в виде ординарной сети Петри с одноцветными фишками решаются системы линейных однородных диофантовых уравнений над множеством натуральных чисел. 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.

Item Type:Conference or Workshop Item (Paper)
Uncontrolled Keywords:Методи та засоби програмної інженерії
Subjects:D. Software > D.2. SOFTWARE ENGINEERING
ID Code:574
Deposited By:G.U. Volkova
Deposited On:08 Sep 2010 14:24
Last Modified:08 Sep 2010 14:24

Repository Staff Only: item control page