Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Programming containing formally | all forms | exact matches only
EnglishRussian
correctness of the implementation against a formally defined specificationкорректность реализации в соответствии с формально определённой спецификацией (корпорации AdaCore Alex_Odeychuk)
formally analyzableподдающийся формальному анализу (корпорации AdaCore Alex_Odeychuk)
formally analyzableпригодный для формального анализа (корпорации AdaCore Alex_Odeychuk)
formally approvedофициально принятый (ssn)
formally authorizedподписанный (ssn)
formally designatedформально обозначенный (ssn)
formally model computer softwareформальное моделирование программного обеспечения ЭВМ (ssn)
formally model computer softwareформальное моделирование программного обеспечения компьютера (ssn)
formally-verifiable softwareформально верифицируемое программное обеспечение (Alex_Odeychuk)
formally-verifiable software developmentразработка формально верифицируемого программного обеспечения (Alex_Odeychuk)
not formally provenне доказан формально (ssn)
State transition logic is formally defined within finite automata theoryЛогика переходов состояний формально определена в пределах теории конечных автоматов (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World ssn)
the SLA should be formally authorized by senior customer and service provider representativesСоглашение об уровне услуг должно быть подписано полномочными представителями заказчика и поставщика услуг (см. ISO/IEC 20000-2:2005)

Get short URL