Buchumschlag

Deductive verification of requirements for event-driven architecture

The current paper presents the technology of processing of requirements for systems with event-driven architecture. The technology consists of the stages of formalization, formal verification and conversion to design specifications. The formalization is the formal description of events as formal spe...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2025
Hauptverfasser:	Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2025
Schlagworte:	UDC 519.7
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/778
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Deductive verification of requirements for event-driven architecture
von: Letichevsky, A., et al.
Veröffentlicht: (2013)

Multi-threaded computer calculations in the considered nonlinear dynamic systems
von: Lazarenko, S.V., et al.
Veröffentlicht: (2025)

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

From temporal data to dynamic causal models
von: Balabanov, O.S.
Veröffentlicht: (2023)

Algebraic patterns of binary code vulnerabilities
von: Yakovlev, V.M.
Veröffentlicht: (2020)

Block algorithm for Householder transformations for hybrid architecture computers
von: Popov, O.V., et al.
Veröffentlicht: (2025)

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

Constraint programming in insertion modeling system
von: Letichevsky, O.A., et al.
Veröffentlicht: (2025)

Implementation the concept of adaptive broadcast system and automatic preparation of content
von: Provotar, O.I., et al.
Veröffentlicht: (2025)

Decentralized systems in logistics: usage overview and security issues
von: Letichevsky, O.O., et al.
Veröffentlicht: (2020)

Algebraic approach to the analysis of legal documents
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)

Modeling and verification methods for application design in heterogeneous architectures
von: S. D. Pohorilyi, et al.
Veröffentlicht: (2020)

Thermal hydraulics verification safety studies to support the licensing of neutron source Accelerator Driven System
von: O. V. Kukhotskyi, et al.
Veröffentlicht: (2020)

Static method of consistency and completeness checking in formal model of distributed software systems
von: Kolchin, A.V., et al.
Veröffentlicht: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2025)

Information threats and security services
von: Antonyuk, A.A., et al.
Veröffentlicht: (2015)

Game model of user interaction in heterogeneous distributed environments
von: Ignatenko, O.P., et al.
Veröffentlicht: (2017)

Modeling of heat transfer processes on hybrid architecture computers
von: Duchenko, O.S., et al.
Veröffentlicht: (2024)

Module-based scientific physics engine architecture
von: Bernatovych, A.A., et al.
Veröffentlicht: (2023)

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

Conflict controlled network modeling: evolutionary games approach
von: Ignatenko, O.P., et al.
Veröffentlicht: (2019)

Formal semantics and analysis of tokenomics properties
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)

Fluid models of dynamic scheduling in computer networks
von: Іgnatenko, O.P.
Veröffentlicht: (2025)

About complex intelligent technologies for techno-ecological events control in the water area
von: Pisarenko, V.G., et al.
Veröffentlicht: (2023)

Fuzzy probability and fuzzy events
von: Provotar, O.I., et al.
Veröffentlicht: (2018)

Verification of programs: status, problems and experimental results. I
von: Maksymets, A.N.
Veröffentlicht: (2025)

Verification of programs: status, problems and experimental results. II
von: Maksymets, A.N.
Veröffentlicht: (2025)

Use of metods of algebraic programming for the formal verification of legal acts
von: V. Peschanenko, et al.
Veröffentlicht: (2018)

Deductive molecular mechanics of carbon allotropes (Review article)
von: I. V. Popov, et al.
Veröffentlicht: (2020)

The registration and accounting of the information about events in specialized informational-telecommunication systems
von: Alekseev, V.A., et al.
Veröffentlicht: (2025)

An intellectual information technology for organizational decisions expert-analytical support
von: Ilyina, O.P., et al.
Veröffentlicht: (2025)

Evolutional method application for gas turbine engine unite parameters estimation on the base of measuring data by the operational process
von: Угрюмова, Е. М., et al.
Veröffentlicht: (2017)

Evolutional method application for gas turbine engine unite parameters estimation on the base of measuring data by the operational process
von: Угрюмова, Е. М., et al.
Veröffentlicht: (2017)

About one Approach for the Verification of Algebraic Computations
von: Lvov, M.S.
Veröffentlicht: (2025)

Encoding algorithms of information objects in the code of conditional deductions
von: Matov, O. Ya., et al.
Veröffentlicht: (2015)

Complexity analysis of multidigit multiplication operation for implementtation in parallel computational model
von: Tereshchenko, A.N.
Veröffentlicht: (2017)

Application of GIS to Systems Analysis of Environmental Health Data in Context of Risk Assessment. Part 1: General Description of the Domain and the Problems
von: Kuksa, A.I.
Veröffentlicht: (2015)

Semantic web and Wiki-systems
von: Glibovets, A.M., et al.
Veröffentlicht: (2025)

Description of parallelism in algorithms of information management systems using algebraic apparatus
von: Akulovsky, V.G., et al.
Veröffentlicht: (2025)

Algebra of algorithms with the data and forecasting of computing process
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)