Specifying Software - A Hands-On Introduction

An innovative hands-on introduction to techniques for specifying the behaviour of software components.

List of contents

Introduction; Part I. Algorithms: 1. Specifying algorithms; 2. Verifying algorithms: basic techniques; 3. Verifying algorithms: some examples; 4. Additional verification techniques; Part II. Data Representations: 5. Data representation: a case study; 6. Data representation: additional examples; Part III. Language Recognizers: 7. Basic concepts; 8. State-transition diagrams; 9. Regular languages; 10. Context-free languages; 11. Parsing; 12. A taste of computability theory; Appendix A: programming language reference; Appendix B: hints for selected exercises; Index.

Summary

An introductory textbook on software specifications suitable for programming students with some background in discrete mathematics and logic. The author adopts a unique 'hands-on' approach, presenting basic concepts in the context of numerous small programming examples. Topics include assertional notations, state diagrams, grammars, and regular expressions.

Product details

• Authors: R. D. Tennent
• Publisher: Cambridge Academic
• Languages: English
• Product format: Paperback / Softback
• Released: 25.02.2002
• EAN: 9780521004015
• ISBN: 978-0-521-00401-5
• Dimensions: 156 mm x 235 mm x 23 mm
• Weight: 480 g
• Illustrations: 29 b/w illus. 1 table 215 exercises, Zeichnungen, nicht spezifiziert, Tabellen, nicht spezifiziert, Worked examples or Exercises
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; Software Engineering, COMPUTERS / Software Development & Engineering / General, Systems analysis and design