Terms for subject Programming containing предположение

Russian	English
второе предположение модели	second assumption of the model (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 of the model (ssn)
предположение и "естественная" структура	anticipation and "natural" structure (ssn)
предположение индукции	induction hypothesis (ssn)
предположение контракта	assertion (в контрактном программировании Alex_Odeychuk)
предположение о дискретности времени	time-discreteness assumption (ssn)
предположение о закрытом мире	closed-world assumption (ssn)
предположение о замкнутости мира	closed-world assumption (ложно любое утверждение, о котором не известно, что оно верно Alex_Odeychuk)
предположение о наличии полной информации	assumed complete knowledge (ssn)
предположение об одиночных константных неисправностях	SSF-assumption (ssn)
предположение об одиночных константных неисправностях	single-stuck-fault assumption (ssn)
предположение об ошибках	error guessing (метод проектирования тестирования, в котором контрольные примеры получены на основе знаний тестера о прошлых отказах или общих знаний о видах отказа. Примечание – соответствующие знания могут исходить из личного опыта или могут быть получены, напр., из базы данных дефектов или "таксономии ошибок" ssn)