TY  - BOOK
TI  - Software specification techniques
SN  - 0201142309 (hbk)
U1  - 001.64 
PY  - 1986///c
CY  - Workingham, England ; Reading, Mass. : 
PB  - Addison-Wesley, 
KW  - Computer software
KW  - Specifications
N1  - 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
ER  -