Cover Image

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...

Full description

Saved in:

Bibliographic Details
Published in:	PROBLEMS IN PROGRAMMING
Date:	2026
Issue:	2-3
Pages:	277-283
ISSN:	1727-4907
Author Affiliations:	L.E. Matveeva — Glushkov Institute of Cybernetics NAS of Ukraine
Main Author:	Matveeva, L.E.
Format:	Article
Language:	Russian
Published:	PROBLEMS IN PROGRAMMING 2026
Subjects:	UDC 681.3.06
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/912
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Specialities of management processes in case of software systems families creation
by: Lavrischeva, К.М., et al.
Published: (2026)

Problem of reengineering of legacy-software systems
by: Pashkovets, N.D., et al.
Published: (2026)

AN Improvement of software faults’ residual density continuous predicting with bayesian net and value tree
by: Slabospickaya, O.O.
Published: (2026)

Variability assurance mechanisms in Software Product Line
by: Kolesnik, A.L.
Published: (2025)

Automated creation of rules fo data access control by resources using DBMS
by: Blazhko, A.A., et al.
Published: (2026)

Query optimization from DL/1 (IMS) to sol
by: Anisimov, A.V., et al.
Published: (2026)

Fuzzy models of multiagent systems in distributed environment
by: Parasyuk, I.N., et al.
Published: (2026)

Specification Based Program Construction and Verification in Composition-Nominative Language CNLS
by: Bezverha, M.A., et al.
Published: (2026)

Modelling technology based on fuzzy Bayesian belief networks
by: Parasyuk, I.M., et al.
Published: (2026)

The descriptive foundations of the ontological platform
by: Redko, V.N, et al.
Published: (2026)

Compositional-nominative modal logics of the functional-equational level
by: Shkilniak, O.S.
Published: (2026)

Relations of logical consequence in composition nominative logics
by: Shkilnyak, S.S.
Published: (2025)

One of Approaches to maintenance inter-connection environments Visual Studio and Eclipse
by: Radetskyi, I.O.
Published: (2025)

Тechnology of security confidential information from inside threats
by: Antoniuk, A.A., et al.
Published: (2025)

Basic approaches for creating ontological graph-oriented description of application
by: Zakharova, O.V.
Published: (2026)

Ontological design of subject domain with problems of e-Science
by: Zinkovich, V.M.
Published: (2025)

Cybernetics, Informatics and Software Engineering: Aspects of Development
by: Lavrischeva, K.M.
Published: (2025)

Architecture of software system for hierarchical fuzzy inference
by: Yershov, S.V., et al.
Published: (2018)

Technological Model for the Process of Software Automated Production
by: Slabospitska, O.O.
Published: (2025)

An improvement for software families’ development with agile methodologies’ elements
by: Koval, G.I., et al.
Published: (2026)

Using Petri nets to design parallel applications
by: Pogorilyy, S.D., et al.
Published: (2025)

Technological aspects of viable software development using generative programming
by: Ignatenko, P.P., et al.
Published: (2026)

Estimation of reliability of modular software
by: Antsypov, A.V., et al.
Published: (2026)

Distributed Transactions Modeling with the Use of Petri Nets
by: Iwaniak, M., et al.
Published: (2012)

Approach to design software applications of use Web Service
by: Deretsky, V.A., et al.
Published: (2026)

Conception of industry scientific software to decision scientific tasks
by: Lavrischeva, K.M.
Published: (2025)

Designing tools for network software products. Current state and perspective of development
by: Glybovets, M.M., et al.
Published: (2026)

Development of a semantic and syntactic model of natural language by means of non-negative matrix and tensor factorization
by: Marchenko, O.O.
Published: (2025)

Recurrent neural networks for the problem of improving numerical meteorological forecasts
by: Doroshenko, А.Yu., et al.
Published: (2023)

Automatic development of deep neural networks for improving numerical meteorological forecast
by: Doroshenko, А.Yu., et al.
Published: (2024)

Automating the transformation of colored petri nets with qualitative tokens into colored petri nets with quantitative tokens
by: D. K. Glomozda, et al.
Published: (2018)

Heart Modeling on the Basis of Petri Nets
by: V. V. Kuzmuk, et al.
Published: (2014)

Interactive assessment of simulated service qualities by business stakeholders: principles and research issues
by: Shekhovtsov, V.A.
Published: (2026)

Development of highly-parallel applications for graphical processing units using rewriting rules
by: Doroshenko, A.Yu., et al.
Published: (2026)

Deeplearning-based approach to improving numerical weather forecasts
by: Doroshenko, А.Yu., et al.
Published: (2023)

Distributed Transactions Modeling with the Use of Petri Nets
by: M. Iwaniak, et al.
Published: (2012)

Dynamic Modeling of Enterprise on the Basis of Petri Nets
by: Ju. M. Lisetskij
Published: (2018)

Connection between Petri nets and Polish notation
by: V. M. Statkevich
Published: (2016)

Distributed Transactions Modeling with the Use of Petri Nets
by: Iwaniak, M., et al.
Published: (2012)

Modelling of the teaching process in logistic systems by using of nested Petri Nets
by: S. Minakova
Published: (2014)