Revision as of 14:27, 10 November 2016 edit Pintoch (talk \| contribs) Extended confirmed users 2,763 edits m →Refinement types: change \|id={{citeseer}} to \|citeseerx= using AWB ← Previous edit		Revision as of 12:50, 1 October 2017 edit undo 2001:4c50:15e:a00:7031:3dea:359f:4cd9 (talk) →Program refinement: This is not an example but an alternative meaning. Next edit →
Line 8: 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. ~~For example, the~~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 journal\|last=Cho\|first=L\|title=Adopting an Agile Culture A User Experience Team's Journey\|journal=Agile Conference\|year=2009\|doi=10.1109/AGILE.2009.76\|isbn=978-0-7695-3768-9\|pages=416}}</ref> == Data refinement ==

Refinement (computing): Difference between revisions