Formal specification and software development
Título:
Formal specification and software development
ISBN:
9780133290035
Autor Pessoal:
PRODUCTION_INFO:
Englewood Cliffs, N.J. : Prentice/Hall International, 1982.
Descrição Física:
x, 501 p. : ill. ; 25 cm.
Série:
Prentice-Hall International series in computer science
Título da Série:
Prentice-Hall International series in computer science
Nota Geral:
Includes index.
Conteúdo:
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.
Autor Adicionado:
LANGUAGE:
Inglês