| Program Refinement |
Article Index for Program |
Website Links For Program |
Information AboutProgram Refinement |
| CATEGORIES ABOUT PROGRAM REFINEMENT | |
| formal methods | |
| software engineering | |
|
For example, x' ∈ {1,2,3} (where x' is the value of the from the Empty Set . The term 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 . The FermaT Transformation System is an industrial-strength implementation of refinement. |
|
|