Refinement (computing): Difference between revisions

Revision as of 15:10, 13 January 2021

Latest revision as of 20:07, 26 March 2024

(One intermediate revision by one other user not shown)

Line 7:

In [[formal methods]], '''program refinement''' is the [[formal verification|verifiable]] transformation of an ''abstract'' (high-level) [[formal specification]] into a ''concrete'' (low-level) [[executable program]].{{citation needed|date=September 2010}} ''[[Stepwise refinement]]'' allows this process to be done in stages. Logically, refinement normally involves [[logical consequence|implication]], but there can be additional complications.

The progressive just-in-time preparation of the product backlog (requirements list) in [[agile software development]] approaches, such as [[Scrum (software development)|Scrum]], is also commonly described as refinement.<ref>{{cite journalbook|last=Cho|first=L|title=2009 Agile Conference|chapter=Adopting an Agile Culture Aa User Experience Team's Journey|journal=Agile Conference|year=2009|doi=10.1109/AGILE.2009.76|isbn=978-0-7695-3768-9|pages=416416–421|s2cid=38580329}}</ref>

==Data refinement==

Line 32:

[[Category:Formal methods terminology]]

[[Category:Computer programming]]

{{soft-eng-stub}}