Tecniche di analisi dei requisiti e modelli software - PDF

Quando si ha a che fare con la progettazione di un sistema software, ci si ritrova a dover gestire dei requisiti espressi in linguaggio naturale e posti nella forma: "Se accade questo e quest'altro, fai questa azione; altrimenti se occorre la condizione A oppure la B, fai quest'altra azione". Le condizioni possono essere - e in genere lo sono - molto complesse e lo stesso vale per le azioni che devono essere svolte; l'analisi deve sfrondare la compessità verbale. In questo libro sono analizzate delle metodologie utilizzate dall'autore nel corso della sua esperienza diretta in svariati progetti software: - Tabelle Decisionali - Grafi e Flow Chart - Automa a stati finiti - Reti di Petri - Test Combinatoriale e strumenti a supporto Il taglio cerca di essere molto pratico e usa la teoria solo lo stretto necessario. L'obiettivo è un manuale operativo, che permetta in breve tempo al lettore di conoscere le metodologie e di applicarle ai suoi progetti software.