Specifying software: a hands-on introduction
Auteur :
Tennent, R. D.
Éditeur :
Cambridge University Press
ISBN :
9780521004015
Date de publication :
25 févr. 2002
Dimensions :
23,5 x 15,6 x 2,3 cm
Poids :
480 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.