Внешние символы (external symbol)
символы, к которым есть обращения в данном модуле, но определены они в ином модуле1 .
тслеживание требований через уровни разработки к компонентам.
символы, к которым есть обращения в данном модуле, но определены они в ином модуле1 .
совокупность объектов, обладающих одинаковыми свойствами и поведением.
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.