Системы автоматизированного проектирования /CAD system

Программирование доказательное (proof programming) —  метод информатики, использующий совмещение ручного или автоматического синтеза программы с доказательством соответствия программы решаемой задаче и использованием знания о предметной и

Делегат (Delegate) вид класса — тип или экземпляр, который содержит ссылки на методы (операции). [Словарь терминов объектно-ориентированного программирования. (Электронный ресурс). Режим доступа: http:// studref.com›610530… slovar_terminov_obektno…/,

Метод виртуальный (Veritable Sub) — виртуальный метод, который может быть переопределен (ключевым словом Overrides) в наследующих классах, т. е. код виртуального метода в наследнике может

Видимость (доступность) — способность одной абстракции видеть другую и, таким образом, ссылаться на ее ресурсы извне. Абстракции видимы друг другу, только если они находятся в

Класс базовый — наиболее общий класс в какой-либо структуре классов, у которого могут быть производные (наследующие) классы. В большинстве приложений есть несколько таких корневых классов.

Класс абстрактный (Mustlnherit Class) — класс, который не может иметь экземпляров, так как содержит хотя бы один абстрактный метод и предназначен для наследования. Абстрактный класс

Метод абстрактный (Mustlnherit Sub) — метод класса (процедура или функция), тело которого пусто (т. е. не содержит программного кода) и предназначен для переопределения в классах-наследниках.