Iryna Zaretska

Work place: V.N. Karazin Kharkiv National University, Kharkiv, 61000, Ukraine



Research Interests: Computational Science and Engineering, Software Design, Formal Methods, Formal Semantics, Formal Languages


Iryna Zaretska obtained her PhD degree in Mathematics from the V. N. Karazin Kharkiv National University, Ukraine, in 1990.

Currently, she works as a professor of V. N. Karazin Kharkiv National University, School of Mathematics and Informatics, Department of Theoretical and Applied Computer Science.

Her research interests include software design, formal verification, and model-driven engineering.

Author Articles
Consistency of UML Design

By Iryna Zaretska Oleksandra Kulankhina Hlib Mykhailenko Tamara Butenko

DOI:, Pub. Date: 8 Sep. 2018

The paper presents a method and tools for consistency checking in UML design of an object-oriented software system. The proposed method uses graph representation of UML diagrams and first-order predicate logic to specify consistency rules mostly on the cross-diagram level. Classification of consistency rules is presented. Two approaches to implementation of con-sistency checking are discussed and compared.

[...] Read more.
Other Articles