Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT)) by Marc Frappier
Springer; Reprint of the original 1st ed. 2001 edition | November 27, 2000 | English | ISBN: 1852333537 | 282 pages | PDF | 15 MB
Software Specification Methods 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.