Software specification methods : an overview using a case study /

This volume provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using the same case study - an invoicing system - to enable the reader to compare and contrast easily. Among the techniques covered are: UML, Z, SAZ, B, JSD, O...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Frappier, Marc, 1965-, Habrias, Henri
Format:	eBook
Language:	English
Published:	London ; New York : Springer, [2001]
Series:	Formal approaches to computing and information technology.
Subjects:	Formal methods (Computer science) Computer software > Specifications. Méthodes formelles (Informatique) Logiciels > Spécifications. Computer software. Electronic books. Specifications.
Online Access:	Connect to the full text of this electronic book