Specifying Software: A Hands-On Introduction Book + PRICE WATCH * Amazon pricing is not included in price watch

Specifying Software: A Hands-On Introduction Book

A specification of a program is a detailed statement of what users of a program or program fragment expect it to do and what its developers expect of its environment. This book provides a self-contained introduction to software specifications suitable for use by programming students with some background in discrete mathematics and logic. This is one of the few books available on specifications that adopts a "hands-on" approach, presenting basic concepts in the context of numerous small programming examples, making these concepts easier for students to grasp than the traditional large-project approach used in software engineering courses.Read More

from£N/A | RRP: £21.99
* Excludes Voucher Code Discount Also available Used from £N/A
  • Product Description

    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.

  • 0521004012
  • 9780521004015
  • R. D. Tennent
  • 25 February 2002
  • Cambridge University Press
  • Paperback (Book)
  • 250
As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.

Would you like your name to appear with the review?

We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.

All form fields are required.