Specification case studies / edit by Ian Hayes

Material type: TextTextPublication details: New Jersey : Prentice Hall International, 1984cDescription: 332 p. ; 25 cmISBN: 0138265798 (pbk)Subject(s): Computer programs -- SpecificationsDDC classification: 005.12
Contents:
1- Preface 2- Foreword 3- Mathematical Notation 4- Schema Notation 5- Examples of Specification Using Mathematics 6- Blocked-Structed Symbol Table 7- Telephone Network 8- Specification of the UNIX Filing System 9- CAVIAR : A Case Study 10- Towards a Formal Specification of ICL Data Dictionary 11- Flexitime Specification 12- Formal Specification & Design of a Simple Assembler 13- The Role of Mathematical Specifications 14- Authentication of User Names 15- Time Service 16- Reservation Service 17- Applying Formal Specification to Software Development in Industry 18- CICS Temporary Storage 19- CICS Message System
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books Books Namal Library
Computer Science 		005.12 SPE- 1984 1604 (Browse shelf (Opens below)) Available 1604
Total holds: 0
Browsing Namal Library shelves, Shelving location: Computer Science Close shelf browser (Hides shelf browser)
005.12 ROB-S 2000 1611 Simple program design : 005.12 ROB-S 2000 1610 Simple program design : 005.12 ROB-S 2004 1749 Simple program design : 005.12 SPE- 1984 1604 Specification case studies / 005.12 TAY-S 2011 2050 Software architecture : 005.13 ALB-C 2010 8164 C++ : 005.13 ALL-N 1987 6837 Natural language understanding /

Index included

1- Preface
2- Foreword
3- Mathematical Notation
4- Schema Notation
5- Examples of Specification Using Mathematics
6- Blocked-Structed Symbol Table
7- Telephone Network
8- Specification of the UNIX Filing System
9- CAVIAR : A Case Study
10- Towards a Formal Specification of ICL Data Dictionary
11- Flexitime Specification
12- Formal Specification & Design of a Simple Assembler
13- The Role of Mathematical Specifications
14- Authentication of User Names
15- Time Service
16- Reservation Service
17- Applying Formal Specification to Software Development in Industry
18- CICS Temporary Storage
19- CICS Message System

There are no comments on this title.

to post a comment.