Так как спецификация программы является предикатом, то она может быть:
Обычным способом программной реализации итерации является:
Использование чисел с плавающей точкой является наиболее распространенным способом реализации:
Спецификация задачи на итерацию имеет вид:
Программа S является правильной при заданных Q и R, если спецификация {Q} S {R} является:
Следующая спецификация:{i=0}"i++;"{i=1}:
Следующая спецификация:{i=0}"i++;"{i=0}:
Следующая спецификация:{i=0}"i++;"{i=j}:
методология программирования, основанная на представлении программы в виде совокупности объектов, каждый из которых является реализацией определенного типа, использующая механизм пересылки сообщений и классы, организованные в иерархию наследования называется:
Учения о том, как надо писать программы называются: