11 papers:
LCT-NLE-2014-PaisT #deduction #first-order #logic #novel #proving- Novel Didactic Proof Assistant for First-Order Logic Natural Deduction (JP, AT), pp. 441–451.
- HCI-VAD-2009-Stary09a #design #modelling
- Didactic Models as Design Representations (CS), pp. 226–235.
- HCI-AS-2007-PadronDA #effectiveness #evaluation #framework #metric #towards
- Towards an Effective Evaluation Framework for IMS LD-Based Didactic Materials: Criteria and Measures (CLP, PD, IA), pp. 312–321.
ITiCSE-2004-ChesnevarGM #automaton #formal method #learning- Didactic strategies for promoting significant learning in formal languages and automata theory (CIC, MPG, AGM), pp. 7–11.
- ITiCSE-2004-ZurV #education
- Teaching certificate in computer science: didactics workshop (EZ, TV), p. 240.
LSO-2004-RasW #case study #experience- Embedding Experiences in Micro-didactical Arrangements (ER, SW), pp. 55–66.
- ITiCSE-2003-Xinogalos #education #named #object-oriented #programming
- objectKarel: a didactic microworld for teaching object-oriented programming (SX), p. 233.
SEKE-2002-LoiaSS #deduction #named #web- LearnMiner: deductive, tolerant agents for discovering didactic resources on the web (VL, SS, MIS), pp. 109–115.
- ITiCSE-1999-DagdilelisS
- Didactics too, not only technology (VD, MS), p. 183.
- ITiCSE-1999-Trichina #topic
- Didactic instructional tool for topics in computer science (ET), pp. 95–98.
ICSE-1990-BabcockBG #evolution- The Evolution of Technology Transfer at MCC’s Software Technology Program: From Didactic to Dialectic (JDB, LAB, NCG), pp. 290–299.
