 |
| Russian | English |
| расширение спецификации USB 2.0 для соединения периферийных USB-устройств друг с другом без необходимости подключения к ПК | USB OTG (OTG – аббр. от On-The-Go WiseSnake) |
| система построения доказательства соответствия модели программы её формальной спецификации | formal proof engine (Alex_Odeychuk) |
| системная спецификация | system requirement specification (корпорации AdaCore Alex_Odeychuk) |
| системная спецификация | SRS (сокр. от "system requirement specification"; корпорации AdaCore Alex_Odeychuk) |
| соответствовать формальной спецификации | be correct with regard to a given specification (Electronic Design Alex_Odeychuk) |
| формальная верификация реализации на соответствие спецификации | formal verification of an implementation against a specification (adacore.com Alex_Odeychuk) |
| функциональная спецификация | FS (functional specification; project management organization Ellisa) |