Reification (computer Science) - Data Reification Vs. Data Refinement

Data Reification Vs. Data Refinement

Data reification (stepwise refinement) involves finding a more concrete representation of the abstract data types used in a formal specification.

Data reification is the terminology of the Vienna Development Method (VDM) that most other people would call data refinement. An example is taking a step towards an implementation by replacing a data representation without a counterpart in the intended implementation language, such as sets, by one that does have a counterpart (such as maps with fixed domains that can be implemented by arrays), or at least one that is closer to having a counterpart, such as sequences. The VDM community prefers the word "reification" over "refinement", as the process has more to do with concretising an idea than with refining it.

For similar usages, see Reification (linguistics).

Read more about this topic:  Reification (computer Science)

Famous quotes containing the words data and/or refinement:

    To write it, it took three months; to conceive it three minutes; to collect the data in it—all my life.
    F. Scott Fitzgerald (1896–1940)

    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)