Especificación en OCL de los elementos del núcleo de Semat

Semat (Teoría y Método de la Ingeniería de Software, por sus siglas en inglés) es un marco de pensamiento ideado para generar una base común, agrupando mejores prácticas pertenecientes a distintos métodos, las cuales se representan en el núcleo a partir de elementos que definen los conceptos general...