В соответствии с классификацией DIAMO к какому этапу относится задание спецификаций программного продукта?

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

• # В некоторых языках программирования используется перегрузка методов, когда несколько методов имеют одно и то же имя, но разную сигнатуру. Какие из утверждений являются справедливыми?
• # Пусть p – сущность типа F. Динамическим кастингом или приведением типа называется конструкция (S) p, динамически изменяющая в период выполнения тип сущности на тип S. Динамический кастинг опасная операция. В языке Eiffel для безопасного применения динамического кастинга введена конструкция, называемая тестом объекта. Тест объекта – это булевское выражение следующего вида: attached (S) p as t. Выражение получает значение false, если тип объекта, присоединенного к p, не согласован с типом S. Выражение получает значение true, если сущность p присоединена к объекту, согласованному по типу с типом S. В этом случае в качестве побочного эффекта создается локальная переменная t типа S, к которой присоединяется соответствующий объект. Пусть тест объекта появляется как отрицание условия if оператора. Какие утверждения справедливы относительно области определения локальной переменной t?
• # Одной из основных операций, применяемых к лямбда-выражениям, является операция, называемая бета-редукцией, позволяющая избавиться от связанных переменных выражения путем подстановки. Лямбда-выражение: преобразуется в выражение Какие утверждения справедливы для бета-редукции?
• # Какие факторы качества ПО относятся к внешним факторам?
• # Какие факторы качества ПО важны для пользователей программного продукта?