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
Veröffentlicht in:	PROBLEMS IN PROGRAMMING
Datum:	2026
Heft:	2-3
Сторінки:	277-283
ISSN:	1727-4907
Автори та афіліації:	L.E. Matveeva — Glushkov Institute of Cybernetics NAS of Ukraine
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)

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

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

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

Query optimization from DL/1 (IMS) to sol
von: Anisimov, A.V., et al.
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)

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

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)

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

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

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

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

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)

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

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

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

Using Petri nets to design parallel applications
von: Pogorilyy, S.D., et al.
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)

Distributed Transactions Modeling with the Use of Petri Nets
von: Iwaniak, M., et al.
Veröffentlicht: (2012)

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

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

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)

Automatic development of deep neural networks for improving numerical meteorological forecast
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2024)

Automating the transformation of colored petri nets with qualitative tokens into colored petri nets with quantitative tokens
von: D. K. Glomozda, et al.
Veröffentlicht: (2018)

Heart Modeling on the Basis of Petri Nets
von: V. V. Kuzmuk, et al.
Veröffentlicht: (2014)

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

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

Deeplearning-based approach to improving numerical weather forecasts
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2023)

Distributed Transactions Modeling with the Use of Petri Nets
von: M. Iwaniak, et al.
Veröffentlicht: (2012)

Dynamic Modeling of Enterprise on the Basis of Petri Nets
von: Ju. M. Lisetskij
Veröffentlicht: (2018)

Connection between Petri nets and Polish notation
von: V. M. Statkevich
Veröffentlicht: (2016)

Distributed Transactions Modeling with the Use of Petri Nets
von: Iwaniak, M., et al.
Veröffentlicht: (2012)

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