Metodi e strumenti innovativi per la specifica, la verifica, lo sviluppo, il collaudo dei sistemi d'automazione

progetti - Ricerca di Sistema - 1° periodo (2000-2002)

Metodi e strumenti innovativi per la specifica, la verifica, lo sviluppo, il collaudo dei sistemi d’automazione

Rapporti

progetti - Ricerca di Sistema - 1° periodo (2000-2002)

Metodi e strumenti innovativi per la specifica, la verifica, lo sviluppo, il collaudo dei sistemi d’automazione

Migliorare in modo significativo la qualità della specifica dei requisiti di un sitema di automazione.Mettere a punto un insieme di strumenti prototipali a supporto dell’impiego efficiente delle metodiche di specificazione.Definire un linguaggio naturale ristretto controllato, utilizzabile senza particolare conoscenze specialistiche nella stesura delle specifiche.