Russian | English |
абстрактная спецификация | abstract specification (описание на языке, не зависящем от конкретной реализации ssn) |
абстрактная спецификация поведения | abstract behavior specification (ssn) |
абстрактная спецификация программного обеспечения | abstract software specification (корпорации AdaCore Alex_Odeychuk) |