Search for Articles:

MECS Press Menu

Tamara Butenko

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.

Author Articles
Consistency of UML Design

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.
Other Articles

Subscribe to receive issue release notifications and newsletters from MECS Press journals