Software specification techniques /
Software specification techniques /
edit by Narain Gehani and Andrew D McGettrick
- Workingham, England ; Reading, Mass. : Addison-Wesley, 1986c.
- xii, 477 p. : ill. ; 25 cm.
- International computer science series. .
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...........
0201142309 (hbk)
Computer software--Specifications.
001.64 / SOF- 1986 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...........
0201142309 (hbk)
Computer software--Specifications.
001.64 / SOF- 1986 1599