|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 50 van 106 gevonden artikelen
| Titel: |
(In)Formal Methods: Teaching Program Derivation Via the Moore Method |
| Auteur: |
Foster, James A. Barnett, Michael Van Houten, Karen Sheneman, Luke |
| Verschenen in: |
Computer science education |
| Paginering: | Jaargang 6 (1995) nr. 1 pagina's 67-91 |
| Jaar: |
1995 |
| Inhoud: |
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 |
| Uitgever: |
Routledge |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 50 van 106 gevonden artikelen
| << vorige | volgende >> |