Когда выполняется присваивание x := agent r, то переменная x должна принадлежать специальному типу, часто называемому функциональным, поскольку объектами этого типа являются функции и процедуры. В Eiffel этот тип задается классом ROUTINE и тремя его потомками – классами PROCEDURE, FUNCTION, PREDICATE. Какой из этих классов обозначает запросы, возвращающие тип BOOLEAN?

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

• # Какие утверждения справедливы?
• # Верификация и проверка правильности один из важных этапов разработки ПО. Какие утверждения относительно В&П являются корректными?
• # Организации, создающие ПО, могут быть сертифицированы. Одна из таких сертификаций, оценивающая уровень зрелости организации, - сертификация CMMI – предполагает 5 уровней зрелости. Для зрелой организации в процессе разработки требуется проведение измерений и анализа, начиная с уровня зрелости:
• # Пусть класс Р имеет метод М. Пусть у класса Р есть два наследника F и G, которые являются родительскими классами для класса S. В каких ситуациях у класса S будет существовать две версии метода М?
• # Какие утверждения, связанные с образцом проектирования "Посетитель", являются справедливыми?