Mohammad Hamdaqa

PathOCL améliore la précision et l'efficacité de la génération d'OCL pour les modèles de classe UML.

Un nouveau système de type garantit que les contrats intelligents fonctionnent sans accroc sans soucis de gaz.