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...
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
London ; New York :
Springer,
[2001]
|
| Series: | Formal approaches to computing and information technology.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
