Engineering of software development processes quality by means of Petri Nets
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 applie...
Gespeichert in:
| Veröffentlicht in: | PROBLEMS IN PROGRAMMING |
|---|---|
| Datum: | 2026 |
| Heft: | 2-3 |
| Сторінки: | 277-283 |
| ISSN: | 1727-4907 |
| Автори та афіліації: |
|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
PROBLEMS IN PROGRAMMING
2026
|
| Schlagworte: | |
| Online Zugang: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/912 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |
|
Institution
Problems in programming| Zusammenfassung: | 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 |
|---|---|
| ISSN: | 1727-4907 |