Work place: V.N. Karazin Kharkiv National University, Kharkiv, 61000, Ukraine
E-mail: tomabut@rambler.ru
Website:
Research Interests: Computational Engineering, Engineering
Biography
Tamara Butenko obtained her post-diploma education in mechanical engineering from the Kharkiv Institute of Mechanical Engineering Problems, Ukraine, in 2008.
Currently, she works as a senior teaching staff member at V. N. Karazin Kharkiv National University, School of Physics, Department of Higher Mathematics.
By Iryna Zaretska Oleksandra Kulankhina Hlib Mykhailenko Tamara Butenko
DOI: https://doi.org/10.5815/ijitcs.2018.09.06, 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.Subscribe to receive issue release notifications and newsletters from MECS Press journals