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

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2025
Автори:	Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.
Формат:	Стаття
Мова:	Англійська
Опубліковано:	PROBLEMS IN PROGRAMMING 2025
Теми:	UDC 519.7
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/778
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

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

Deductive verification of requirements for event-driven architecture
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)

Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)

Multi-threaded computer calculations in the considered nonlinear dynamic systems
за авторством: Lazarenko, S.V., та інші
Опубліковано: (2025)

Programming and intellect
за авторством: Meytus, V.Yu.
Опубліковано: (2026)

Simple non-deterministic rewriting in verification
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2026)

Test scenarios generation based on formal model
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2026)

Simple non-deterministic rewriting in verification
за авторством: Letichevsky, A., та інші
Опубліковано: (2010)

Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)

Satisfiability For Symbolic Verification in VRS
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)

Satisfiability For Symbolic Verification in VRS
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)

Block algorithm for Householder transformations for hybrid architecture computers
за авторством: Popov, O.V., та інші
Опубліковано: (2025)

Some aspects of formalization of an architectural development cycle of algorithms
за авторством: Akulovskiy, V.G.
Опубліковано: (2026)

From temporal data to dynamic causal models
за авторством: Balabanov, O.S.
Опубліковано: (2023)

Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2026)

Implementation the concept of adaptive broadcast system and automatic preparation of content
за авторством: Provotar, O.I., та інші
Опубліковано: (2025)

The Non-Deterministic Strategy of Rewriting
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2013)

Construction concepts of the integrated environment architecture of generative programming
за авторством: Morentsov, Y.I.
Опубліковано: (2026)

Constraint programming in insertion modeling system
за авторством: Letichevsky, O.A., та інші
Опубліковано: (2025)

Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)

Algebraic patterns of binary code vulnerabilities
за авторством: Yakovlev, V.M.
Опубліковано: (2020)

APS C++ User's Library
за авторством: Letichevsky, A., та інші
Опубліковано: (2008)

Game model of user interaction in heterogeneous distributed environments
за авторством: Ignatenko, O.P., та інші
Опубліковано: (2017)

Conflict controlled network modeling: evolutionary games approach
за авторством: Ignatenko, O.P., та інші
Опубліковано: (2019)

Modeling of computer networks management processes under conflict conditions
за авторством: Ignatenko, O.P.
Опубліковано: (2026)

Conflict problem of interaction between two players in an open information environment
за авторством: Ignatenko, O.P.
Опубліковано: (2026)

Modelling of customer’s serving in network with single server under conflict situation
за авторством: Ignatenko, O.P.
Опубліковано: (2026)

Fluid models of dynamic scheduling in computer networks
за авторством: Іgnatenko, O.P.
Опубліковано: (2025)

Multivariance of the notations of representation of algorithms of operation of software as path to their verification
за авторством: Alekseev, V.A., та інші
Опубліковано: (2026)

Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2025)

Decentralized systems in logistics: usage overview and security issues
за авторством: Letichevsky, O.O., та інші
Опубліковано: (2020)

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System
за авторством: Prihodko, P.P.
Опубліковано: (2015)

Information threats and security services
за авторством: Antonyuk, A.A., та інші
Опубліковано: (2015)

Complexity analysis of multidigit multiplication operation for implementtation in parallel computational model
за авторством: Tereshchenko, A.N.
Опубліковано: (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
за авторством: Kuksa, A.I.
Опубліковано: (2015)

Semantic web and Wiki-systems
за авторством: Glibovets, A.M., та інші
Опубліковано: (2025)

Parallel implementation of directed search processes for optimal solutions
за авторством: Pepelyaev, V.A., та інші
Опубліковано: (2026)

Description of parallelism in algorithms of information management systems using algebraic apparatus
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Algebra of algorithms with the data and forecasting of computing process
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)