Какое определение постусловия метода является корректным?
Какое определение сборщика мусора является корректным?
Какое определение предусловия метода является корректным?
Какое утверждение об информации является корректным?
Какое из определений семантики вызова x.f является корректным?
Какое утверждение не является справедливым для метода класса?
Какое высказывание является некорректным по отношению к понятию "инвариант класса":
Какое высказывание является определением программного интерфейса программы или ее части – класса, метода?
Когда каменщику нужно выложить стенку из кирпичей, то он, начиная с первого ряда, кладет ряд за рядом, пока стена не достигнет заданной высоты. Многие циклы, хотя и не все, следует этой стратегии, задавая аппроксимацию – последовательное приближение к достижению цели цикла. Построим цикл, моделирующий работу каменщика. Предположим, что высота одного ряда равна h, и каменщику нужно возвести стену высотой H = n * h. В качестве подходящего инварианта цикла выберем условие H = i * h (содержательно это означает, что выложена стена из i рядов кирпичей). Отметьте корректные составляющие цикла, позволяющие решить эту задачу и доказать ее корректность. Доказательство корректности предполагает доказательство трех утверждений: после инициализации инвариант цикла становится истинным, тело цикла сохраняет истинность инварианта, из истинности условия выхода и инварианта следует выполнение цели цикла
Какое утверждение несправедливо относительно доступа клиентов к атрибуту класса?