| |||
валидация кода (оценки точности расчётов с использованием кода по соответствующим экспериментальным данным) | |||
проверка достоверности машинной программы | |||
проверка достоверности расчётов с использованием кода (по соответствующим экспериментальным данным; компании AdaCore Alex_Odeychuk); проверка достоверности расчётов в программном коде (по соответствующим экспериментальным данным; компании AdaCore Alex_Odeychuk) |
code validation : 13 phrases, 7 sujets |
Armes de destruction massive | 1 |
Bancaire | 3 |
Internet | 1 |
Microsoft | 2 |
Programmation | 4 |
Sécurité des informations et protection des données | 1 |
Technologie | 1 |