Mykyta Pugach; Iryna Zaretska. Development and Implementation of a Method for Checking the Integrity of the Design of an Object-Oriented System. CS&CS E-journal 2024, 76-87.