Letichevsky, A.; Letychevskyi, О.; Peschanenko, V.; Guba, A.
(Проблеми програмування, 2013)
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 ...