|
|
|
|
Specifying software : a hands-on introduction / R. D. Tennent.
AUTOR:
R. D. Tennent
ISBN:
0521004012
EDITOR:
Cambridge University Press
IDIOMA:
eng
PÁGINAS:
XII, 289
AÑO:
2002
|
|
|
|
| |
|
|
|
| |
|
|
|
|
|
| |
|
RESUMEN
|
This books offers a hands-on introduction to techniques for specifying the behavior of software components. Presentation is based on numerous examples and case studies, with descriptions of techniques for using programmer-friendly assertional notations to specify, develop, and verify small but nontrivial algorithms and data representations and for using state diagrams, grammars, and regular expressions to specify and develop recognizers for formal languages. The book is appropriate for second- and third-year computer science and computer engineering students familiar with basic concepts of discrete mathematics and logic. Tennent teaches computing and information science at Queen's University, Canada. Annotation c. Book News, Inc., Portland, OR (booknews.com) |
|
| |
|
