Software Specification Methods: An Overview Using a Case Study (2001) (Formal Approaches to Computing and Information Technology (FACIT))
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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. Among the techniques covered are: UML; Z; SAZ; B; JSD; OMT; VHDL; Estelle; SDL; LOTOS. This book is intended for industrial and commercial practitioners who need to expand their knowledge of software specification methods. This book provides a basic overview of the main methods, with a practical focus which allows readers to apply their knowledge to real-life situations.
- Copyright:
- 2001
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9781447107019
- Related ISBNs:
- 9781852333539
- Publisher:
- Springer London
- Date of Addition:
- 12/20/20
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Marc Frappier
- Edited by:
- Henri Habrias
Reviews
Other Books
- by Marc Frappier
- by Henri Habrias
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy