Terms for subject Programming containing refinement

English	Russian
abstraction and refinement	абстракции и уточнение (ssn)
By working through the first large project Conway's game of Life, Chapter 1 expounds principles of top-down refinement, program design, review, and testing, principles	Посредством рассмотрения первого большого проекта игры "Жизнь" Дж. Конвея глава 1 вводит принципы нисходящей детализации, проектирования программы, критического обзора и тестирования (ssn)
counter-example guided abstraction refinement	уточнение абстракции по контрпримеру (Alex_Odeychuk)
data refinement	уточнение данных (ssn)
first refinement	первое уточнение (ssn)
iterative refinement	итеративный процесс уточнения (ssn)
iterative refinement	итеративное уточнение (ssn)
note on data refinement	замечание об уточнении данных (ssn)
process refinement	усовершенствование процесса (ssn)
refinement lattices	решётки уточнения (ssn)
refinement relation	отношение уточнения (ssn)
refinement relationships	отношения уточнения (ssn)
refinement transformation	уточняющее преобразование (ssn)
refinement transformations	уточняющие преобразования (ssn)
refinement type	ограниченный тип (Microsoft Alex_Odeychuk)
second refinement	второе уточнение (ssn)
stepwise refinement	последовательное уточнение (ssn)
stepwise refinement	пошаговое улучшение (методика, применяемая при выполнении функциональной декомпозиции или процедурном проектировании (также называется разбиением на разделы) ssn)
top-down refinement	нисходящая детализация (программы ssn)
top-down, stepwise refinement	нисходящее последовательное уточнение (ssn)