remainder declaration В языке Ада - описание, определяющее другое имя понятия.
Russian-English Modern Computing dictionary
составное описание
complex declarator
Russian-English Modern Computing dictionary
формализованное описание
formal description
Russian-English Modern Computing dictionary
системное описание
system definition
system description
Russian-English Modern Computing dictionary
справочное описание
reference manual
Russian-English Modern Computing dictionary
абстрактное описание интерфейса
abstract interface
Russian-English Modern Computing dictionary
абстрактное описание синтаксиса
Abstract Syntax Notation One Формальный язык, на котором описаны, например, все протоколы сетей TCP/IP. Одобрен комитетом ITU-T для описания протоколов модели OSI.