Development and implementation of a method for checking the integrity of the design of an object-oriented system. CS&CS E-journal. 2024;(1):76-87. doi:10.26565/2519-2310-2024-1-07