alloy

0La chaleur

1Répondre

Obtenir un article par sa date dans l'alliage

Je suis bloqué sur ce problème de devoirs de méthodes formelles et je ne suis pas sûr de ce que je ne comprends pas. J'ai deux signatures, point et ToDo qui sont définis comme si: sig Item { due

formal-methods alloy 2010-11-01

---

2La chaleur

2Répondre

Comment peut-on exprimer qu'une relation ne doit pas être cyclique?

Tenir compte d'une relation upgrades: je dois vous assurer que upgrades ne peut pas être circulaire. Comment puis-je faire cela en alliage?

alloy 2010-11-17

---