Return to Article Details Development and implementation of a method for checking the integrity of the design of an object-oriented system Download Download PDF