In software program engineering, using types is a substitute for more typical code-primarily based progress procedures. A product usually conforms to a unique metamodel.Es por esto que hay situaciones en que es muy importante comunicarse de forma extremadamente precisa; por ejemplo, en relaciones íntimas o en acuerdos de negocios, querremos estar