Множество объектов, связанных общностью структуры и поведения; абстрактное описание данных и поведения (методов) для совокупности похожих объектов, представители которой называются экземплярами класса называется:
Множество всех состояний, в которых может находиться объект Xterm, называется:
Предикат, описывающий максимально широкое множество в пространстве состояний переменных программы S, на котором гарантируется получение постусловия R называется:
Прямое произведение множеств состояний всех переменных программы - это:
Множество всех цепочек над алфавитом X принято обозначать:
Если предикат истинен во всех состояниях, в которых он определен, то он называется:
Cвойство, позволяющее использовать один и тот же интерфейс для различных действий; полиморфной переменной, например, может соответствовать несколько различных методов называется:
Свойство объектов, посредством которого экземпляры класса получают доступ к данным и методам классов-предков без их повторного определения называется:
методология программирования, основанная на представлении программы в виде совокупности объектов, каждый из которых является реализацией определенного типа, использующая механизм пересылки сообщений и классы, организованные в иерархию наследования называется:
Набором выпуклых плоских многоугольников - это:
