В классе Р задан эффективный метод М с постусловием "Т > 10". Наследник этого класса Р1 переопределил этот метод, задав соответственно постусловие: ensure then "Т > 20". Класс Р2 - наследник Р1 в свою очередь переопределил этот метод, задав соответственно постусловие: ensure then "Т > 50". Класс Р3 - наследник Р2 в свою очередь переопределил этот метод, задав соответственно постусловие: ensure then "Т > 100". Клиенту требуется вызвать метод, обеспечивающий на выходе истинность условия: "T > 70". Методы каких классов могут гарантировать истинность выполнения этого условия?

Правильный ответ:

• # Какие утверждения справедливы для спиральной модели жизненного цикла?
• # Agile – это методология быстрой разработки ПО. Какие высказывания справедливы для этой методологии?
• # Универсальность и наследование – два тесно связанных механизма, обеспечивающие мощь ОО проектирования и программирования. Рассмотрим универсальный класс LIST[T] – список, тип элементов которого задается параметром T. Укажите, какие классы могут быть связаны отношением наследования с классом LIST[T]?
• # Пусть задан универсальный класс C[T] и одно из полей этого класса объявлено как x : T. Какие операции допустимы для сущности x?
• # При проектировании ПО следует выделять как отдельные элементы "модель" ПО и "облик" ПО. Какие утверждения справедливы?