|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 50 of 106 found articles
| Title: |
(In)Formal Methods: Teaching Program Derivation Via the Moore Method |
| Author: |
Foster, James A. Barnett, Michael Van Houten, Karen Sheneman, Luke |
| Appeared in: |
Computer science education |
| Paging: | Volume 6 (1995) nr. 1 pages 67-91 |
| Year: |
1995 |
| Contents: |
Formal methods, the application of mathematical tools to software development, are underrepresented in the typical computer science (CS) curriculum. This is due in part to the difficulty of teaching this material to students in an engaging and meaningful way. We offered an experimental course on derivational programming, one approach to formal methods, using a primarily nonlecture-oriented pedagogy. The teaching technique, known as the Moore method, requires students to discover the subject matter being taught for themselves. In our specific case, the students learned the underlying mathematics of program derivation and learned to apply it by presenting proofs and derivations on a daily basis. Professorial intervention in the classroom was minimal. Our experience has been that students learn otherwise difficult material better, and are better able to put it into practice, with this teaching technique than they would be able to do in the typical classroom |
| Publisher: |
Routledge |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 50 of 106 found articles
| << previous | next >> |