Спецификация (en. Specification)

Translation into Russian

The specification of a derived subprogram is obtained implicitly by systematic replacement of the parent type by the derived type in the specification of the derivable subprogram.
Спецификация производной подпрограммы неявно получается систематическим замещением родительского типа на производный тип в спецификации наследуемой подпрограммы.
Example taken from data source: ada83_v1
The reference line - the body of the arrow which is the baseline for the specification.
Опорная линия - тело стрели, которая является основой для спецификации.
Example taken from data source: wikimedia_v20210402
Verigraph, a software specification and verification system based on graph rewriting (Haskell).
Verigraph, программная спецификация и система верификации, основанная на переписывании графов (Haskell).
Example taken from data source: wikimedia_v20210402
Specification gives relationship for determination of length of flexible members.
Предложена зависимость для определения длины гибких элементов.
Example taken from data source: ParaPat_v0
The expounded methodology of development of specification is in the semi-automatic mode.
Изложенная методика разработки спецификации в полуавтоматическом режиме.
Example taken from data source: ELRC-5183-SciPar_Ukraine_v1
Criteria are offered in relation to their differentiating, specification and systematization.
Предложены критерии их разграничения, конкретизации и систематизации.
Example taken from data source: ELRC-5183-SciPar_Ukraine_v1
1. Specification: Various size as customer's requirements.
1. Specification: Различные размеры как требования к клиента.
Example taken from data source: CCAligned_v1