 |
| Russian | English |
| критичный с точки зрения функциональной безопасности | safety-critical (корпорации AdaCore Alex_Odeychuk) |
| Safety-Critical Application Development Environment-оболочка для разработки приложений, критических с точки зрения безопасности | SCADE (geseb) |
| приложение, критичное с точки зрения функциональной безопасности | safety-critical application (корпорации AdaCore Alex_Odeychuk) |
| с точки зрения динамической верификации | from a dynamic verification point of view (types can be associated with constraints, such as value ranges or arbitrary boolean predicates. These types, ranges and predicates will be verified at specific points in the application, allowing early detection of inconsistencies; корпорации AdaCore Alex_Odeychuk) |
| с точки зрения разработчика | from the developers' viewpoint (Alex_Odeychuk) |
| с точки зрения статической верификации | from a static verification point of view (each type is associated with a representation and a semantic interpretation. Two types with similar representations but different semantics will still be considered different by the compiler. The developer is responsible for deciding where and how type conversion should be made; корпорации AdaCore Alex_Odeychuk) |