Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2026
1. Verfasser:	Matveeva, L.E.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2026
Schlagworte:	UDC 681.3.06
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

Ähnliche Einträge

Specialities of management processes in case of software systems families creation
von: Lavrischeva, К.М., et al.
Veröffentlicht: (2026)

Problem of reengineering of legacy-software systems
von: Pashkovets, N.D., et al.
Veröffentlicht: (2026)

Variability assurance mechanisms in Software Product Line
von: Kolesnik, A.L.
Veröffentlicht: (2025)

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

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

Development of a spiral model of life cycle of the program systems
von: Alekseev, V.A., et al.
Veröffentlicht: (2015)

The descriptive foundations of the ontological platform
von: Redko, V.N, et al.
Veröffentlicht: (2026)

Compositional-nominative modal logics of the functional-equational level
von: Shkilniak, O.S.
Veröffentlicht: (2026)

Fuzzy models of multiagent systems in distributed environment
von: Parasyuk, I.N., et al.
Veröffentlicht: (2026)

Specification Based Program Construction and Verification in Composition-Nominative Language CNLS
von: Bezverha, M.A., et al.
Veröffentlicht: (2026)

Query optimization from DL/1 (IMS) to sol
von: Anisimov, A.V., et al.
Veröffentlicht: (2026)

System of the automated carrying over of contents electronic documents in DB IS
von: Blazhko, A.A., et al.
Veröffentlicht: (2026)

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

Modelling technology based on fuzzy Bayesian belief networks
von: Parasyuk, I.M., et al.
Veröffentlicht: (2026)

Semantic properties of composition nominative modal logics
von: Shkilnyak, O.S.
Veröffentlicht: (2026)

One of Approaches to maintenance inter-connection environments Visual Studio and Eclipse
von: Radetskyi, I.O.
Veröffentlicht: (2025)

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

Relations of logical consequence in composition nominative logics
von: Shkilnyak, S.S.
Veröffentlicht: (2025)

Тechnology of security confidential information from inside threats
von: Antoniuk, A.A., et al.
Veröffentlicht: (2025)

Approaches to configuring reusable assets
von: Kolesnik, A.L.
Veröffentlicht: (2025)

Basic approaches for creating ontological graph-oriented description of application
von: Zakharova, O.V.
Veröffentlicht: (2026)

Virtual museum of informatics history in Siberia
von: Kasyanov, V.N., et al.
Veröffentlicht: (2015)

Compositional logics of nominative data
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2015)

Ontological design of subject domain with problems of e-Science
von: Zinkovich, V.M.
Veröffentlicht: (2025)

Cybernetics, Informatics and Software Engineering: Aspects of Development
von: Lavrischeva, K.M.
Veröffentlicht: (2025)

Technological Model for the Process of Software Automated Production
von: Slabospitska, O.O.
Veröffentlicht: (2025)

Architecture of software system for hierarchical fuzzy inference
von: Yershov, S.V., et al.
Veröffentlicht: (2018)

An improvement for software families’ development with agile methodologies’ elements
von: Koval, G.I., et al.
Veröffentlicht: (2026)

Approach to interconnection support between Java and MS.NET programming environments
von: Ostrovskii, A.V.
Veröffentlicht: (2025)

Technological aspects of viable software development using generative programming
von: Ignatenko, P.P., et al.
Veröffentlicht: (2026)

Estimation of reliability of modular software
von: Antsypov, A.V., et al.
Veröffentlicht: (2026)

Support for the management of variability in the family of software systems
von: Kolesnik, A.L.
Veröffentlicht: (2015)

Approach to design software applications of use Web Service
von: Deretsky, V.A., et al.
Veröffentlicht: (2026)

Using Petri nets to design parallel applications
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Conception of industry scientific software to decision scientific tasks
von: Lavrischeva, K.M.
Veröffentlicht: (2025)

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

Designing tools for network software products. Current state and perspective of development
von: Glybovets, M.M., et al.
Veröffentlicht: (2026)

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

Recurrent neural networks for the problem of improving numerical meteorological forecasts
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2023)

Principles of modeling GPGPU-applications using Petri nets
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)