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
Date:	2026
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)

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

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

Применение статистических моделей в инженерии качества процессов производства программных систем
by: Matveeva, L.Е., et al.
Published: (2015)

Development of a spiral model of life cycle of the program systems
by: Alekseev, V.A., et al.
Published: (2015)

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)

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)

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

System of the automated carrying over of contents electronic documents in DB IS
by: Blazhko, A.A., et al.
Published: (2026)

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

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

Semantic properties of composition nominative modal logics
by: Shkilnyak, O.S.
Published: (2026)

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

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System
by: Prihodko, P.P.
Published: (2015)

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

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

Approaches to configuring reusable assets
by: Kolesnik, A.L.
Published: (2025)

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

Virtual museum of informatics history in Siberia
by: Kasyanov, V.N., et al.
Published: (2015)

Compositional logics of nominative data
by: Nikitchenko, M.S., et al.
Published: (2015)

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)

Approach to interconnection support between Java and MS.NET programming environments
by: Ostrovskii, A.V.
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)

Support for the management of variability in the family of software systems
by: Kolesnik, A.L.
Published: (2015)

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

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)

Multivariance of the notations of representation of algorithms of operation of software as path to their verification
by: Alekseev, V.A., et al.
Published: (2026)

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

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

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)

Principles of modeling GPGPU-applications using Petri nets
by: Pogorilyy, S.D., et al.
Published: (2025)