 |
| |||
| высоконадёжное программное обеспечение (Alex_Odeychuk) | |||
| высоконадёжный (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk); программное обеспечение с высоким уровнем полноты безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций Alex_Odeychuk) | |||
| |||
| программное обеспечение повышенной надёжности (Alex_Odeychuk) | |||
| high-integrity software: 15 phrases, 1 sujets |
| Programmation | 15 |