Является ли переопределение методов в объектно-ориентированном программировании допустимым и корректным с точки зрения принципов инженерии программ?