program refinement
nounUK /ˈprəʊ.ɡræm rɪˈfaɪn.mənt/
US /ˈproʊ.ɡræm rɪˈfaɪn.mənt/
The act of making a computer program better step by step.
The team used program refinement to turn a rough idea into working software.
OTHER MEANINGS
2. The process of making a plan or set of instructions more exact and detailed.
Program refinement helped them clarify each step of the school event plan.
3. In formal methods, the step-by-step transformation of an abstract specification into a concrete, correct implementation.
Using program refinement, the engineers proved the final code matched the original specification.
4. The gradual polishing of a schedule or agenda so it works more smoothly.
After some program refinement, the conference timetable had no overlapping sessions.