A quantitative assertion of enterprise have to have that must be achieved by a certain architecture or work package deal. In software package engineering, the use of types is a substitute for much more widespread code-centered improvement tactics. A product always conforms to a unique metamodel.