Terms for subject Programming containing уточнение

Russian	English
абстракции и уточнение	abstraction and refinement (ssn)
второе уточнение	second refinement (ssn)
замечание об уточнении данных	note on data refinement (ssn)
итеративное уточнение	iterative refinement (ssn)
итеративный процесс уточнения	iterative refinement (ssn)
нисходящее последовательное уточнение	top-down, stepwise refinement (ssn)
отношение уточнения	refinement relation (ssn)
отношения уточнения	refinement relationships (ssn)
первое уточнение	first refinement (ssn)
последовательное уточнение	stepwise refinement (ssn)
решётки уточнения	refinement lattices (ssn)
стадия уточнения	elaboration phase (в жизненном цикле ПО ssn)
уточнение абстракции по контрпримеру	CEGAR (сокр. от "counter-example guided abstraction refinement" Alex_Odeychuk)
уточнение абстракции по контрпримеру	counter-example guided abstraction refinement (Alex_Odeychuk)
уточнение вариантов использования	refining the use cases (ssn)
уточнение данных	data refinement (ssn)
уточнение определения системы	refining the system definition (ssn)
уточнение прецедентов	refining the use cases (ssn)
уточнение сценариев использования	refining the use cases (ssn)
уточнения типов объектов	taking the hint: object types (ssn)