| English | Russian |
| based on the assumption | основанный на предположении (ssn) |
| black-box representation of a system under the time-discreteness assumption | представление системы в виде чёрного ящика с учётом предположения о дискретности времени (ssn) |
| bug assumptions | предположения об ошибках (ssn) |
| bug assumptions for syntax testing | предположения об ошибках в синтаксическом тестировании (ssn) |
| certain assumption | определённое допущение (ssn) |
| certain assumptions | определённые допущения (ssn) |
| closed world assumption | гипотеза о замкнутости мира (ssn) |
| closed-world assumption | предположение о замкнутости мира (ложно любое утверждение, о котором не известно, что оно верно Alex_Odeychuk) |
| closed-world assumption | допущение замкнутости мира (the unmentioned literals are false ssn) |
| closed-world assumption | предположение о закрытом мире (ssn) |
| Fancy compiler loop unrolling and hyperthreading may well violate the second assumption | Второе предположение может быть нарушено удачной оптимизацией цикла компилятором или гиперпотоковыми возможностями процессора (о модели вычислений; см. The Algorithm Design Manual (Second Edition) by Steven S. Skiena (2008) ssn) |
| first assumption | первое предположение (ssn) |
| first assumption of the model | первое предположение модели (ssn) |
| internal assumption | внутреннее утверждение (ssn) |
| Moreover, no assumptions need to be made about the speed of the environment when this model of time is assumed | Более того, когда принимается такая модель времени, не нужно делать никаких предположений о быстродействии окружения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| next assumption | следующее предположение (ssn) |
| second assumption | второе предположение (модели ssn) |
| second assumption of the model | второе предположение модели (ssn) |
| single-stuck-fault assumption | предположение об одиночных константных неисправностях (ssn) |
| SSF-assumption | предположение об одиночных константных неисправностях (ssn) |
| the assumption can only be violated if multiple processes access the monitor simultaneously | это допущение может быть нарушено только в случае одновременного доступа к монитору со стороны многих процессов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| the assumption is that the program should be behaving reasonably for any input data | Считается, что программа должна вести себя разумно при любых входных данных (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| time-discreteness and alphabet-finitude assumptions | предположения о дискретности времени и конечности алфавита (ssn) |
| time-discreteness assumption | предположение о дискретности времени (ssn) |
| validating internal assumptions | проверка достоверности внутренних утверждений (ssn) |
