DictionaryForumContacts

Google | Forvo | +

с точки зрения динамической верификации

stresses
softw. 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)

Add | Report an error | Get short URL