TY  - BOOK
AU  - Dean,Neville
AU  - Hinchey,Michael G.
TI  - Teaching and learning formal methods
T2  - Academic Press international series in formal methods
SN  - 0123490405 (pbk.)
PY  - 1996///
CY  - London
PB  - Academic
KW  - System design
KW  - Study and teaching
KW  - Computer software
KW  - Development
KW  - Computers
N1  - Preface; C. Neville Dean and Michael G. Hinchey --; An industrial perspective on educational issues relating to formal methods; John B. Wordsworth --; Effective formal methods education for professional software engineers; David Garlan --; Education for computing professionals; David Lorge Parnas --; Teaching programming as engineering; David Lorge Parnas --; Hints to specifiers; Jeannette M. Wing --; Moore formal methods in the classroom : A how-to manual; James A. Foster and Michael Barnett --; Formal methods and modeling in context; C. Neville Dean and Michael G. Hinchey --; An empirical study of specification readability; Kate M. Finney and Alex M. Fedorec --; Investigating student difficulties with mathematical logic; Vicki L. Almstrum --; An executable course in the algebraic semantics of imperative programs; Grant Malcolm and Joseph A. Goguen --; Improving the curriculum through the teaching of calculation and discrimination; David Gries --; Programming, proving and calculation; Wim Feijenm and Netty van Gasteren --; Teaching hardware and software versification in a uniform framework; Michael J.C. Gordon
ER  -