siscia
commented
7 years ago La perte positica è che nessuno ne sa un cazzo :tada: :tada: :tada:
Comunque inizio ad essere contento del modello che sto tirando fuori e quasi quasi mi accontento.
Closed siscia closed 7 years ago
siscia
commented
7 years ago La perte positica è che nessuno ne sa un cazzo :tada: :tada: :tada:
Comunque inizio ad essere contento del modello che sto tirando fuori e quasi quasi mi accontento.
Ho avuto uno scambio molto costruttivo con la De Nicco che mi ha fatto ragionare che è importante capire cosa verificare con Alloy e in che dettagli scendere.
Fosse per me non verificherei niente, ma già che dobbiamo verificare meglio discuterne una volta per tutte e sincronizzarci.
La teoria dice che dobbiamo verificare che i requirements + le assunzioni portano ai goal.
Di tutti i nostri goal, quali sono quelli importanti? Come faccio a dirlo io? Come faccio a dire io che il goal SUPPORT è meno importante rispetto al goal POWER_STATION?
Te hai idee?