Hlib Mykhailenko

Work place: ActiveEon Software Company, Valbonne, 06560, France

E-mail: hlib.mykhailenko@gmail.com


Research Interests: Distributed Computing, Data Structures and Algorithms, Analysis of Algorithms, Comparative Programming Language Analysis


Hlib Mykhailenko obtained his PhD degree in computer science from the University of Nice-Sophia Antipolis, Nice, France, in 2017.

Currently, he works as a Research and Developement Software Engineer at ActiveEon, Valbonne, France. His research interests include large-scale distributed programming, graph partitioning algorithms, and functional programming.

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