Абстрактный класс
это описание (спецификация) будущих возможностей, которые будут обеспечены в дальнейшем производными классами.
определенный набор задач, объединенных в контролируемую фазу проекта, например, выполняемые активности уровня тестирования. [Gerrard] фактический исход (actual outcome):
это описание (спецификация) будущих возможностей, которые будут обеспечены в дальнейшем производными классами.
выполняет слияние двух отсортированных частей одной последовательности.
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.