| |||
формализованная спецификация | |||
спецификация формата; формальное описание; формальные спецификации | |||
формальная спецификация | |||
требуемые свойства программного обеспечения (формальная спецификация; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) |
formal specification: 14 phrases in 3 subjects |
Programming | 12 |
Software | 1 |
Technology | 1 |