Formal specification and software development
Titre:
Formal specification and software development
ISBN (Numéro international normalisé des livres):
9780133290035
Auteur personnel:
PRODUCTION_INFO:
Englewood Cliffs, N.J. : Prentice/Hall International, 1982.
Description physique:
x, 501 p. : ill. ; 25 cm.
Collections:
Prentice-Hall International series in computer science
Titre de la série:
Prentice-Hall International series in computer science
Note générale:
Includes index.
Table des matières:
Main approaches to formal specifications / Peter Lucas -- The meta-language / Cliff Jones -- Mathematical foundations / Joseph E. Stoy -- Modelling concepts of programming languages. More on exception mechanisms / Cliff Jones -- ALGOL 60 / Wolfgang Henhapl and Cliff Jones -- Pascal / Derek Andrews and Wolfgang Henhapl -- Compiler design / Cliff Jones -- Rigorous development of interpreters & compilers / Dines Bjorner -- Program design by data refinement / Elizabeth Fielding and Cliff Jones -- Stepwise transformation of software architectures / Dines Bjorner -- Formalization of data models / Dines Bjorner and Hans Henrik Lovengreen -- Realization of database management systems / Dines Bjorner.
Auteur ajouté:
Langue:
Anglais