reusability (характеристика качества программного обеспечения)
Russian-English Modern Computing dictionary
временные технические условия
tentative specifications
Russian-English Modern Computing dictionary
временные условия
tentative specifications
Russian-English Modern Computing dictionary
выходное условие
postcondition В доказательстве правильности программ и аксиоматической семантике языков программирования - логическое выражение, которое должно быть истинно после выполнения некоторого действия, если перед его выполнением было истинно соответствующее предусловие.
Russian-English Modern Computing dictionary
генерирование условий верификации
verification condition generation (при доказательстве правильности программ)
Russian-English Modern Computing dictionary
граничное условие
boundary condition
Russian-English Modern Computing dictionary
допускающий замену в условиях эксплуатации
field-replaceable
Russian-English Modern Computing dictionary
задавать начальные условия
initialize
Russian-English Modern Computing dictionary
изготовление изделий по техническим условиям заказчика