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: A. Letichevsky, et al.
Veröffentlicht: (2013)

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)

Simple non-deterministic rewriting in verification
von: Letichevsky, A., et al.
Veröffentlicht: (2010)

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

Satisfiability For Symbolic Verification in VRS
von: A. Letichevsky, et al.
Veröffentlicht: (2013)

Satisfiability For Symbolic Verification in VRS
von: Letichevsky, A., et al.
Veröffentlicht: (2013)

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

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

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

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

The Non-Deterministic Strategy of Rewriting
von: Letichevsky, A.A., et al.
Veröffentlicht: (2013)

Constraint programming in insertion modeling system
von: Letichevsky, O.A., 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)

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

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

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

APS C++ User's Library
von: Letichevsky, A., et al.
Veröffentlicht: (2008)

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)

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

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)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)

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

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
von: Zavadskyi, I.O.
Veröffentlicht: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
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)

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

Optimization problems solution for queuing systems with failure under uncertainty
von: Kopytchuk, M.B., et al.
Veröffentlicht: (2025)

The operating model of communicative informations systems
von: Zubenko, V.V.
Veröffentlicht: (2025)

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

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

Optimization of checking the feasibility of transitions when verifying formal models
von: Kolchin, A.V.
Veröffentlicht: (2015)

Medical-physiological simulators: the necessity and problems
von: Grygoryan, R.D., et al.
Veröffentlicht: (2025)