BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
technolog (3)
teach (2)
scienc (2)
comput (2)
deduct (2)

Stem didact$ (all stems)

11 papers:

HCILCT-NLE-2014-PaisT #deduction #first-order #logic #novel #proving
Novel Didactic Proof Assistant for First-Order Logic Natural Deduction (JP, AT), pp. 441–451.
HCIHCI-VAD-2009-Stary09a #design #modelling
Didactic Models as Design Representations (CS), pp. 226–235.
HCIHCI-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.
ITiCSEITiCSE-2004-ChesnevarGM #automaton #formal method #learning
Didactic strategies for promoting significant learning in formal languages and automata theory (CIC, MPG, AGM), pp. 7–11.
ITiCSEITiCSE-2004-ZurV #education
Teaching certificate in computer science: didactics workshop (EZ, TV), p. 240.
LSOLSO-2004-RasW #case study #experience
Embedding Experiences in Micro-didactical Arrangements (ER, SW), pp. 55–66.
ITiCSEITiCSE-2003-Xinogalos #education #named #object-oriented #programming
objectKarel: a didactic microworld for teaching object-oriented programming (SX), p. 233.
SEKESEKE-2002-LoiaSS #deduction #named #web
LearnMiner: deductive, tolerant agents for discovering didactic resources on the web (VL, SS, MIS), pp. 109–115.
ITiCSEITiCSE-1999-DagdilelisS
Didactics too, not only technology (VD, MS), p. 183.
ITiCSEITiCSE-1999-Trichina #topic
Didactic instructional tool for topics in computer science (ET), pp. 95–98.
ICSEICSE-1990-BabcockBG #evolution
The Evolution of Technology Transfer at MCC’s Software Technology Program: From Didactic to Dialectic (JDB, LAB, NCG), pp. 290–299.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.