Software specification techniques / edit by Narain Gehani and Andrew D McGettrick
Material type:
TextSeries: International computer science seriesPublication details: Workingham, England ; Reading, Mass. : Addison-Wesley, 1986cDescription: xii, 477 p. : ill. ; 25 cmISBN: 0201142309 (hbk)Subject(s): Computer software -- SpecificationsDDC classification: 001.64 | Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
Books
|
Namal Library Computer Science | 001.64 SOF- 1986 1599 (Browse shelf (Opens below)) | Available | 1599 |
Index included
Chapter 1: Requirements and Techniques.....
Chapter 2: An Appraisal of Program Specification....
Chapter 3: Principals of good software specification and their implication for specification language.........
Chapter 4: On the inevitable interwining of specification and implementation................
Chapter 5: More thoughts on specification and verification........
Chapter 6: Particular Approaches..........
Chapter 7: Notes on Type Abstraction......
Chapter 8: A technique for software module specification with examples...........
Chapter 9: Systematic program development.......
Chapter 10: Using assertions about Traces to Write Abstract Specification for Software Modules........
Chapter 11: An operational Approach to Requirements Specification for Embedded Systems.........
Chapter 12: Case Studies..........
Chapter 13: Specifications: Formal and Informal -- A Case Study.......
Chapter 14: Formal Specification as a Design Tool.......
Chapter 15: Using formal specifications in the design of a human-computer interface........
Chapter 16: Formal Specification of a display-oriented Text editor.....
Chapter 17: A specification schema for indenting program...:.
Chapter 18: Program specification applied to a text formatter......
Chapter 19: Specification and Verification of communication protocols in AFFIRM using state transition model.....
Chapter 20: executable Requirements for embedded systems.......
Chapter 21: Specification System.....
Chapter 22: An informal introduction to specifications using CLEAR...........
Chapter 23: An introduction to OBJ: A language for writing and testing formal algebraic program specifications.....
Chapter 24: GYPSY: A language for specification and implementation of verifiable programs.......
Chapter 25: Rapid prototyping and requirements specifications using PDS...........
There are no comments on this title.