Formal specification and software development
Título:
Formal specification and software development
ISBN:
9780133290035
Autor personal:
PRODUCTION_INFO:
Englewood Cliffs, N.J. : Prentice/Hall International, 1982.
Descripción física:
x, 501 p. : ill. ; 25 cm.
Serie:
Prentice-Hall International series in computer science
Título de serie:
Prentice-Hall International series in computer science
Nota general:
Includes index.
Contenido:
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.
Término de la materia:
Autor añadido:
Idioma:
Inglés