 |
| |||
| формализованная спецификация | |||
формальная спецификация (A formal specification is the defense: it defines what “correct” means independently of the AI that produced the code. When something breaks, you know exactly which assumption failed, and so does the auditor.  github.io В.И.Макаров) | |||
| спецификация формата; формальное описание; формальные спецификации | |||
| требуемые свойства программного обеспечения (формальная спецификация; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) | |||
|
formal specification : 14 צירופים, 3 נושאים |
| טֶכנוֹלוֹגִיָה | 1 |
| תִכנוּת | 12 |
| תוֹכנָה | 1 |