Mohammad Hamdaqa

PathOCL mejora la precisión y eficiencia de la generación de OCL para modelos de clases UML.

Un nuevo sistema de tipos asegura que los contratos inteligentes funcionen sin problemas y sin problemas de gas.