Refinement
Use of VDM starts with a very abstract model and develops this into an implementation. Each step involves Data Reification, then Operation Decomposition.
Data reification develops the abstract data types into more concrete data structures, while operation decomposition develops the (abstract) implicit specifications of operations and functions into algorithms that can be directly implemented in a computer language of choice.
| Specification | Implementation | |
|---|---|---|
| Abstract data type | ––– Data reification → | Data structure |
| Operations | ––– Operation decomposition → | Algorithms |
Read more about this topic: Vienna Development Method
Famous quotes containing the word refinement:
“It is an immense loss to have all robust and sustaining expletives refined away from one! At ... moments of trial refinement is a feeble reed to lean upon.”
—Alice James (1848–1892)
“You know that your toddler needed love and approval but he often seemed not to care whether he got it or not and never seemed to know how to earn it. Your pre-school child is positively asking you to tell him what does and does not earn approval, so he is ready to learn any social refinement of being human which you will teach him....He knows now that he wants your love and he has learned how to ask for it.”
—Penelope Leach (20th century)