Revision as of 07:47, 26 May 2008 edit 198.152.13.67 (talk) No edit summary ← Previous edit		Revision as of 18:31, 24 January 2009 edit undo Drbreznjev (talk \| contribs) 16,660 edits m WikiProject Check Wikipedia: fixed category Next edit →
Line 4: The term [[Reification (computer science)\|reification]] is also sometimes used (coined by [[Cliff Jones (computer scientist)\|Cliff Jones]]). [[Retrenchment (computing)\|Retrenchment]] is an alternative technique when formal refinement is not possible. The opposite of refinement is [[Abstraction (computer science)\|abstraction]]. ~~[[Category:Formal methods]]~~ [[Refinement calculus]] is one method for program refinement. The [[FermaT Transformation System]] is an industrial-strength implementation of refinement.

Refinement (computing): Difference between revisions