Зображення обкладинки

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в:	PROBLEMS IN PROGRAMMING
Дата:	2026
Випуск:	2-3
Сторінки:	277-283
ISSN:	1727-4907
Автори та афіліації:	L.E. Matveeva — Glushkov Institute of Cybernetics NAS of Ukraine
Автор:	Matveeva, L.E.
Формат:	Стаття
Мова:	Російська
Опубліковано:	PROBLEMS IN PROGRAMMING 2026
Теми:	UDC 681.3.06
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/912
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Specialities of management processes in case of software systems families creation
за авторством: Lavrischeva, К.М., та інші
Опубліковано: (2026)

Problem of reengineering of legacy-software systems
за авторством: Pashkovets, N.D., та інші
Опубліковано: (2026)

AN Improvement of software faults’ residual density continuous predicting with bayesian net and value tree
за авторством: Slabospickaya, O.O.
Опубліковано: (2026)

Variability assurance mechanisms in Software Product Line
за авторством: Kolesnik, A.L.
Опубліковано: (2025)

Automated creation of rules fo data access control by resources using DBMS
за авторством: Blazhko, A.A., та інші
Опубліковано: (2026)

Query optimization from DL/1 (IMS) to sol
за авторством: Anisimov, A.V., та інші
Опубліковано: (2026)

Fuzzy models of multiagent systems in distributed environment
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2026)

Specification Based Program Construction and Verification in Composition-Nominative Language CNLS
за авторством: Bezverha, M.A., та інші
Опубліковано: (2026)

Modelling technology based on fuzzy Bayesian belief networks
за авторством: Parasyuk, I.M., та інші
Опубліковано: (2026)

The descriptive foundations of the ontological platform
за авторством: Redko, V.N, та інші
Опубліковано: (2026)

Compositional-nominative modal logics of the functional-equational level
за авторством: Shkilniak, O.S.
Опубліковано: (2026)

Relations of logical consequence in composition nominative logics
за авторством: Shkilnyak, S.S.
Опубліковано: (2025)

One of Approaches to maintenance inter-connection environments Visual Studio and Eclipse
за авторством: Radetskyi, I.O.
Опубліковано: (2025)

Тechnology of security confidential information from inside threats
за авторством: Antoniuk, A.A., та інші
Опубліковано: (2025)

Basic approaches for creating ontological graph-oriented description of application
за авторством: Zakharova, O.V.
Опубліковано: (2026)

Ontological design of subject domain with problems of e-Science
за авторством: Zinkovich, V.M.
Опубліковано: (2025)

Cybernetics, Informatics and Software Engineering: Aspects of Development
за авторством: Lavrischeva, K.M.
Опубліковано: (2025)

Architecture of software system for hierarchical fuzzy inference
за авторством: Yershov, S.V., та інші
Опубліковано: (2018)

Technological Model for the Process of Software Automated Production
за авторством: Slabospitska, O.O.
Опубліковано: (2025)

An improvement for software families’ development with agile methodologies’ elements
за авторством: Koval, G.I., та інші
Опубліковано: (2026)

Using Petri nets to design parallel applications
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Technological aspects of viable software development using generative programming
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2026)

Estimation of reliability of modular software
за авторством: Antsypov, A.V., та інші
Опубліковано: (2026)

Distributed Transactions Modeling with the Use of Petri Nets
за авторством: Iwaniak, M., та інші
Опубліковано: (2012)

Approach to design software applications of use Web Service
за авторством: Deretsky, V.A., та інші
Опубліковано: (2026)

Conception of industry scientific software to decision scientific tasks
за авторством: Lavrischeva, K.M.
Опубліковано: (2025)

Designing tools for network software products. Current state and perspective of development
за авторством: Glybovets, M.M., та інші
Опубліковано: (2026)

Development of a semantic and syntactic model of natural language by means of non-negative matrix and tensor factorization
за авторством: Marchenko, O.O.
Опубліковано: (2025)

Recurrent neural networks for the problem of improving numerical meteorological forecasts
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2023)

Automatic development of deep neural networks for improving numerical meteorological forecast
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2024)

Automating the transformation of colored petri nets with qualitative tokens into colored petri nets with quantitative tokens
за авторством: D. K. Glomozda, та інші
Опубліковано: (2018)

Heart Modeling on the Basis of Petri Nets
за авторством: V. V. Kuzmuk, та інші
Опубліковано: (2014)

Interactive assessment of simulated service qualities by business stakeholders: principles and research issues
за авторством: Shekhovtsov, V.A.
Опубліковано: (2026)

Development of highly-parallel applications for graphical processing units using rewriting rules
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)

Deeplearning-based approach to improving numerical weather forecasts
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2023)

Distributed Transactions Modeling with the Use of Petri Nets
за авторством: M. Iwaniak, та інші
Опубліковано: (2012)

Dynamic Modeling of Enterprise on the Basis of Petri Nets
за авторством: Ju. M. Lisetskij
Опубліковано: (2018)

Connection between Petri nets and Polish notation
за авторством: V. M. Statkevich
Опубліковано: (2016)

Distributed Transactions Modeling with the Use of Petri Nets
за авторством: Iwaniak, M., та інші
Опубліковано: (2012)

Modelling of the teaching process in logistic systems by using of nested Petri Nets
за авторством: S. Minakova
Опубліковано: (2014)