Specifying Software - A Hands-On Introduction

Klappentext An innovative hands-on introduction to techniques for specifying the behaviour of software components. Zusammenfassung 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. Inhaltsverzeichnis 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.

Product details

• Authors: R. D. Tennent, R.d. Tennent
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 01.12.2002
• EAN: 9780521808149
• ISBN: 978-0-521-80814-9
• No. of pages: 302
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; Software Engineering, COMPUTERS / Software Development & Engineering / General, Systems analysis and design