Image from Syndetics
Case studies in systematic software development / edited by Cliff B. Jones and Roger C.F. Shaw..
Contributor(s): Jones, C. B. (Cliff B.)
| Shaw, Roger C. F.
Material type: 
BookSeries: Prentice-Hall international series in computer science: Publisher: New York : Prentice Hall, 1990Description: xvii, 387 p. : ill. ; 24 cm.ISBN: 0131160885 .Subject(s): Computer software -- Development -- Case studiesDDC classification: 005.1
| Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
| General lending | MTU Bishopstown Library Store | 005.1 (Browse shelf(Opens below)) | 1 | Available | 00026870 |
Total holds: 0
Enhanced descriptions from Syndetics:
Ten authors present twelve case studies in the use of the Vienna Development Method, a formal, mathematically based approach for the specification and development of both software and hardware. Includes a chapter showing how formal methods relate to the software development process and an appendix r
Includes bibliographical references (p. 379-387)..