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

Russian	English
уточнение абстракции по контрпримеру	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)