Specifying software: a hands-on introduction
Auteur :
Tennent, R. D.
Éditeur :
Cambridge University Press
ISBN :
9780521808149
Date de publication :
25 févr. 2002
Dimensions :
22,9 x 15,2 x 2,1 cm
Poids :
610 g
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.