|
refinementRefinement is a hierarchical relationship
between two concepts. If B refines A, then
the requirements of B are a superset of the requirements
of A. Thus, the set of abstractions that model B are a subset of those that
model A, i.e., every B is an A.
This definition is a part of the Generic Programming Glossary.
|
|
|