English | Russian |
be correct with regard to a given specification | соответствовать формальной спецификации (Electronic Design Alex_Odeychuk) |
formal specification | требуемые свойства программного обеспечения (формальная спецификация; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) |
formal verification of an implementation against a specification | формальная верификация реализации на соответствие спецификации (adacore.com Alex_Odeychuk) |
software requirements specification | техническое задание на программное обеспечение (Alexander Matytsin) |
system requirement specification | системная спецификация (корпорации AdaCore Alex_Odeychuk) |
UI Specification | описание пользовательского интерфейса (sheetikoff) |