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 |
|---|---|
| Автори: | , , , |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2025
|
| Теми: | |
| Онлайн доступ: | 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)
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)
Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)
Multi-threaded computer calculations in the considered nonlinear dynamic systems
за авторством: Lazarenko, S.V., та інші
Опубліковано: (2025)
за авторством: Lazarenko, S.V., та інші
Опубліковано: (2025)
Simple non-deterministic rewriting in verification
за авторством: Letichevsky, A., та інші
Опубліковано: (2010)
за авторством: Letichevsky, A., та інші
Опубліковано: (2010)
Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)
Satisfiability For Symbolic Verification in VRS
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)
Satisfiability For Symbolic Verification in VRS
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)
Block algorithm for Householder transformations for hybrid architecture computers
за авторством: Popov, O.V., та інші
Опубліковано: (2025)
за авторством: Popov, O.V., та інші
Опубліковано: (2025)
From temporal data to dynamic causal models
за авторством: Balabanov, O.S.
Опубліковано: (2023)
за авторством: Balabanov, O.S.
Опубліковано: (2023)
Implementation the concept of adaptive broadcast system and automatic preparation of content
за авторством: Provotar, O.I., та інші
Опубліковано: (2025)
за авторством: Provotar, O.I., та інші
Опубліковано: (2025)
Algebraic patterns of binary code vulnerabilities
за авторством: Yakovlev, V.M.
Опубліковано: (2020)
за авторством: Yakovlev, V.M.
Опубліковано: (2020)
The Non-Deterministic Strategy of Rewriting
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2013)
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2013)
Constraint programming in insertion modeling system
за авторством: Letichevsky, O.A., та інші
Опубліковано: (2025)
за авторством: Letichevsky, O.A., та інші
Опубліковано: (2025)
Game model of user interaction in heterogeneous distributed environments
за авторством: Ignatenko, O.P., та інші
Опубліковано: (2017)
за авторством: Ignatenko, O.P., та інші
Опубліковано: (2017)
Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)
Conflict controlled network modeling: evolutionary games approach
за авторством: Ignatenko, O.P., та інші
Опубліковано: (2019)
за авторством: Ignatenko, O.P., та інші
Опубліковано: (2019)
Fluid models of dynamic scheduling in computer networks
за авторством: Іgnatenko, O.P.
Опубліковано: (2025)
за авторством: Іgnatenko, O.P.
Опубліковано: (2025)
APS C++ User's Library
за авторством: Letichevsky, A., та інші
Опубліковано: (2008)
за авторством: Letichevsky, A., та інші
Опубліковано: (2008)
Complexity analysis of multidigit multiplication operation for implementtation in parallel computational model
за авторством: Tereshchenko, A.N.
Опубліковано: (2017)
за авторством: 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)
за авторством: Kuksa, A.I.
Опубліковано: (2015)
Semantic web and Wiki-systems
за авторством: Glibovets, A.M., та інші
Опубліковано: (2025)
за авторством: Glibovets, A.M., та інші
Опубліковано: (2025)
Information threats and security services
за авторством: Antonyuk, A.A., та інші
Опубліковано: (2015)
за авторством: Antonyuk, A.A., та інші
Опубліковано: (2015)
Description of parallelism in algorithms of information management systems using algebraic apparatus
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)
Algebra of algorithms with the data and forecasting of computing process
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
за авторством: Zavadskyi, I.O.
Опубліковано: (2025)
за авторством: Zavadskyi, I.O.
Опубліковано: (2025)
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2025)
за авторством: Guba, A.A.
Опубліковано: (2025)
Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System
за авторством: Prihodko, P.P.
Опубліковано: (2015)
за авторством: Prihodko, P.P.
Опубліковано: (2015)
Decentralized systems in logistics: usage overview and security issues
за авторством: Letichevsky, O.O., та інші
Опубліковано: (2020)
за авторством: Letichevsky, O.O., та інші
Опубліковано: (2020)
Optimization problems solution for queuing systems with failure under uncertainty
за авторством: Kopytchuk, M.B., та інші
Опубліковано: (2025)
за авторством: Kopytchuk, M.B., та інші
Опубліковано: (2025)
The operating model of communicative informations systems
за авторством: Zubenko, V.V.
Опубліковано: (2025)
за авторством: Zubenko, V.V.
Опубліковано: (2025)
Algebraic approach to the analysis of legal documents
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)
An intellectual information technology for organizational decisions expert-analytical support
за авторством: Ilyina, O.P., та інші
Опубліковано: (2025)
за авторством: Ilyina, O.P., та інші
Опубліковано: (2025)
Optimization of checking the feasibility of transitions when verifying formal models
за авторством: Kolchin, A.V.
Опубліковано: (2015)
за авторством: Kolchin, A.V.
Опубліковано: (2015)
Medical-physiological simulators: the necessity and problems
за авторством: Grygoryan, R.D., та інші
Опубліковано: (2025)
за авторством: Grygoryan, R.D., та інші
Опубліковано: (2025)