Overview#
Refinement is the process of elaboration.A hierarchy is developed by decomposing a macroscopic statement of function in a step-wise fashion until Programming statements are reached. In each step, one or several instructions of a given program are decomposed into more detailed instructions.
Refinement and Abstraction are complementary concepts.
