Compiti e compitini

Rispondi
Avatar utente
InformateciBot
Messaggi: 314
Iscritto il: 30/09/2018, 16:33

Salve a tutti, qualcuno ha provato a fare l'esercizio 3 del primo compitino, quello di Jackson?
Come avete rappresentato la sotto-macchina "Controllo Accessi" ?
Questo è il testo:
Si consideri il sottoproblema relativo al controllo delle porte dei vagoni e di banchina. Si definisca un modello del dominio secondo Jackson, che includa sensori e attuatori delle porte e la posizione dei vagoni, nonchè la sotto-macchina "Controllo Accessi", su cui si possa esprimere il requisito di sicurezza che se il vagone non è presente in banchina, con le porte aperte, allora le porte di banchina devono essere chiuse. Si dia una formalizzazione (anche ad alto livello) dei fenomeni condivisi fra i domini individuati e del requisito di cui sopra.
Rispondi

Torna a “[IS] Ingegneria del software”