 |
| 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) |