In this article, we present our formalization of the ABZ landing gear case study in Event-B.
The development was carried out using the Rodin platform and mainly used superposition …

Beschreibungen: The application of formal methods to the development of interactive safety-
critical systems usually involves a multidisciplinary team with different roles and expertise …

An approach to the development of data visualization tools is described that provides the
ability to customize to the needs of users and the specifics of the domains in which they …

In this work we report on our proof of concept of a generic approach: visualized formal
specification of a Domain Specific Language (DSL) can be used for debugging …

The Unified Modeling Language (UML) is a widely used general purpose modeling
language. Together with the Object Constraint Language (OCL), formal models can be …

Microservice Architecture is a new development paradigm that transforms the traditional
business-oriented information management system into the collaborative work of …

" Look, old boy," said the machine," if I could do everything starting with 'n'in every possible
language, I'd be a Machine That Could Do Everything in the Whole Alphabet, since any item …

Practitioners and students tend to have a negative inclination towards formal methods and
consider them hard to learn and unusable in practice. In this paper we analyse the …

Appendix G provides detailed information on my individual contributions to each of the
above-mentioned articles. The algorithms mentioned in this thesis are implemented as part …

Цель проекта–апробация подхода к генерации кода, реализующего пользовательские
модели визуализации данных, на основе метамоделей визуальных предметно …