Specifica dei sistemi software

Questo testo di livello universitario fornisce un'introduzione alle specifiche del software enfatizzando i metodi formali rilevanti per i requisiti e le fasi di progettazione dello sviluppo del software. Il libro può essere utilizzato anche come testo per un corso semestrale sui metodi formali a livello universitario senior. Si presuppone che i lettori abbiano una conoscenza pratica dell'ingegneria del software e della matematica discreta di base, ma per il resto questo potrebbe essere il loro primo incontro con la specifica formale.