Engineering of software development processes quality by means of Petri Nets

L.E. Matveeva

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.

Problems in programming 2010; 2-3: 277-283


References


CMMI for Development, Version 1.2

Матвєєва Л.Є., Волков В. А. Процес розробки програмного забезпечення. Від теорії до практики. – Київ. – 2008.

DeMarco T. Structured Analysis and Systems Specification // Englewood Cliffs, N.J.: Prentice-Hall, 1979. – 352 p.

Yourdon E. Just Enough Structured Analysis // 2006.

Peterson J.L. Petri Net Theory and the Modelling of Systems // Prentice-Hall, Englewood Cliffs, New Jersey, (April 1981). – 290 p.

Котов В. Е. Сети Петри // М.:Наука, 1984. – 157 с.

Murata T. Petri Nets: Properties, Analysis and Applications // In Proc. of the IEEE. – 1989. –Vol. 77. – N 4. – P. 541–580.

E.M. Clark, J.M. Wing. Formal methods: State of the Art and Future Directions // ACM Computing Surveys. – Vol. 28. – N 4. –1996.

– P. 626-643.

Матвеева Л.Е. Анализ сетей Петри с помощью инвариантов // Искусственный интеллект. – 2001. – № 3. – С. 243–250.

Крывый С.Л., Матвеева Л.Е. Формальные методы анализа свойств систем // Кибернетика и системный анализ.–2003. – № 2.

– С. 15–36.

Матвеева Л.Е. Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC,

с помощью формализма сетей Петри // Проблемы программирования. – 2004. – № 2–3. – С. 108–117.

Е.М. Лаврищева. Программная инженерия – научная и инженерная дисциплина // Кибернетика и системный анализ. – 2008. – № 3. – С. 19 – 28.

Е.М. Лаврищева. Классификация дисциплин программной инженерии. – Кибернетика и системный анализ. – 2008. – № 6. – С. 5 – 14.

Ф.И. Андон, Г.И. Коваль, Т.М. Коротун, Е.М. Лаврищева, В.Ю Суслов. Основы инженерии качества программных систем // Второе

издание. НАНУ Институт программных систем. Издательский дом «Академпериодика», Киев – 2007.

W.S. Humphrey. Managing the software process // SEI series in software engineering, Addison-Wesley. – 1989.

J.M. Juran, M. G. Frank, Jr. Quality Planning and Analysis // 2nd ed., New York: McGraw-Hill. – 1980.

Gold R. Petri Nets in Software Engineering // Arbeitsberichte - Working Papers, Ingolstadt. – 2004.

Kryvyy S., Matvyeyeva L., Lopatina M. Automatic Modeling and Analysis of MSC-specified Systems // Fundamenta Informaticae, Vol.67, N. 1 – 3, August 2005. – Р. 107–120.

Крывый С.Л., Матвеева Л.Е., Лопатина М.В. Алгоритм Построения TSS-множества для СЛОДУ в натуральных числах // «Алгебра, логика и кибернетика» (АЛиК-2004). – Матер. Междунар. конф., посвященной 75-летию со дня рождения А.И. Кокорина, Россия, Иркутск, 25–28 августа, 2004. – С. 169–171.


Refbacks

  • There are currently no refbacks.