Specifying Software: A Hands-On Introduction

Specifying Software: A Hands-On Introduction

by R. D. Tennent
ISBN-10:
0521004012
ISBN-13:
9780521004015
Pub. Date:
02/25/2002
Publisher:
Cambridge University Press
ISBN-10:
0521004012
ISBN-13:
9780521004015
Pub. Date:
02/25/2002
Publisher:
Cambridge University Press
Specifying Software: A Hands-On Introduction

Specifying Software: A Hands-On Introduction

by R. D. Tennent
$59.99 Current price is , Original price is $59.99. You
$59.99 
  • SHIP THIS ITEM
    Qualifies for Free Shipping
  • PICK UP IN STORE
    Check Availability at Nearby Stores
  • SHIP THIS ITEM

    Temporarily Out of Stock Online

    Please check back later for updated availability.


Overview

This innovative volume provides a hands-on introduction to techniques for specifying the behavior of software components. A text for a second-year undergraduate course in Computer Science and Computer Engineering programs, it is also suitable for self-study. This book will help students to improve their programming skills and gain a sound foundation and motivation for subsequent courses in advanced algorithms and data structures, software design, formal methods, compilers, programming languages, and theory. The main topics covered are techniques for using programmer-friendly assertional notations to specify, develop, and verify small but non-trivial algorithms and data representations, and the use of state diagrams, grammars, and regular expressions to specify and develop recognizers for formal languages. The presentation is based on numerous examples and case studies appropriate to the level of programming expertise of the intended readership.

Product Details

ISBN-13: 9780521004015
Publisher: Cambridge University Press
Publication date: 02/25/2002
Edition description: New Edition
Pages: 302
Product dimensions: 6.14(w) x 9.25(h) x 0.91(d)

Table 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.
From the B&N Reads Blog

Customer Reviews