Teaching and learning formal methods
Teaching and learning formal methods
/ C. Neville Dean, Michael G. Hinchey
- London : Academic Press, 1996
- xvi, 285 p.
- Academic Press International Series in formal Methods .
Include index
1. An industrial perspective on educational issues relating to formal method
2. Effective formal method education for professional software engineers
3. Education for computing professional
4. Teaching programming engineering
5. Hints to specifiers
6. Moore formal methods in the classroom
7. An empirical study of specification readability
8. Investiating student diffculties with mathmatical logic
9. An executable course in the algebraic semantics of imperative programms
10. Improving the curriculum through the teaching of calculation and discrimination
11. Teaching hardware and software verification in a uniform framework
0123490405
System design--Study and teaching
004.07 / D3468
Include index
1. An industrial perspective on educational issues relating to formal method
2. Effective formal method education for professional software engineers
3. Education for computing professional
4. Teaching programming engineering
5. Hints to specifiers
6. Moore formal methods in the classroom
7. An empirical study of specification readability
8. Investiating student diffculties with mathmatical logic
9. An executable course in the algebraic semantics of imperative programms
10. Improving the curriculum through the teaching of calculation and discrimination
11. Teaching hardware and software verification in a uniform framework
0123490405
System design--Study and teaching
004.07 / D3468