Formal specification and software development
Title:
Formal specification and software development
ISBN:
9780133290035
Personal Author:
Publication Information New:
Englewood Cliffs, N.J. : Prentice/Hall International, 1982.
Physical Description:
x, 501 p. : ill. ; 25 cm.
Series:
Prentice-Hall International series in computer science
Series Title:
Prentice-Hall International series in computer science
General Note:
Includes index.
Contents:
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.
Added Author:
Language:
English