Specifying Software A Hands-On Introduction |
|
| Author:
| Tennent, R. D. |
| ISBN: | 978-0-521-00401-5 |
| Publication Date: | Feb 2002 |
| Publisher: | Cambridge University Press
|
| Book Format: | Paperback |
| List Price: | USD $59.99 |
Book Description:
|
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...
More DescriptionA 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.