Work place: V.N. Karazin Kharkiv National University, Kharkiv, 61000, Ukraine
Research Interests: Computational Engineering, Engineering
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.
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