Content deleted Content added
m Removed flippant comment (which isn't to say that I disagree ;-) |
No edit summary |
||
Line 7:
The term [[Reification (computer science)|reification]] is also sometimes used (coined by [[Cliff Jones]]). [[Retrenchment]] is an alternative technique when formal refinement is not possible. The opposite of refinement is [[Abstraction (computer science)|abstraction]].
[[Category:Formal methods]]
The [[FermaT Transformation System]] is an industrial-strengh implementation of refinement.
[[Category:Software engineering]]
| |||