formal specification
| in
| the
| software process
| formal specification abbr. | |
| data.prot. | формализованная спецификация |
| IT | спецификация формата; формальное описание; формальные спецификации |
| Makarov. | формальная спецификация |
| in abbr. | |
| gen. | во власти; в духе; в характере; в смысле; у себя; по направлению |
| law | с правом владения |
| media. | процесс переноса данных из внешней памяти во внутреннюю |
| the abbr. | |
| gen. | тот; все; чем ... тем ...; вышеупомянутый; вышеуказанный; известный |
| book. | данный |
| ed. | тот |
| |||
| формализованная спецификация | |||
| спецификация формата; формальное описание; формальные спецификации | |||
| формальная спецификация | |||
| требуемые свойства программного обеспечения (формальная спецификация; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) | |||
|
formal specification : 14 phrases in 3 subjects |
| Programming | 12 |
| Software | 1 |
| Technology | 1 |