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:
system (4)
tool (3)
knowledg (3)
develop (3)
vdm (3)

Stem kid$ (all stems)

18 papers:

CHICHI-2013-ParkerMGACJM #health #online #what
I am what i eat: identity & critical thinking in an online health forum for kids (AGP, IM, CG, VA, WC, VJ, EDM), pp. 2437–2446.
CSCWCSCW-2013-InkpenTJTV #case study #experience #named #process #product line
Experiences2Go: sharing kids’ activities outside the home with remote family members (KI, BT, SJ, JCT, GV), pp. 1329–1340.
CHICHI-2012-FollmerI #named #tool support
KidCAD: digitally remixing toys through tangible tools (SF, HI), pp. 2401–2410.
CHICHI-2012-InkpenDRHJ #video
Video kids: augmenting close friendships with asynchronous video conversations in videopal (KI, HD, AR, AH, PJ), pp. 2387–2396.
HCIHIMI-v2-2011-ShinCRR #behaviour #interactive #named #visualisation
VizKid: A Behavior Capture and Visualization System of Adult-Child Interaction (GS, TC, AR, MR), pp. 190–198.
ICFPICFP-2009-FelleisenFFK #functional
A functional I/O system or, fun for freshman kids (MF, RBF, MF, SK), pp. 47–58.
CHICHI-1997-DruinSPBH #collaboration #design #named
KidPad: A Design Collaboration Between Children, Technologists, and Educators (AD, JS, DP, BBB, JDH), pp. 463–470.
ASEKBSE-1996-Smith
The Truth about KIDS (Keynote) (DS), p. 11.
CHICHI-1996-Druin #named
CHIkids: A Common Ground for Kids and Adults (AD), pp. 506–507.
ICSEICSE-1996-Ledru #tool support #using
Using KIDS as a Tool Support for VDM (YL), pp. 236–245.
CHICHI-1995-CypherS #named #programming #simulation
KidSim: End User Programming of Simulations (AC, DCS), pp. 27–34.
CHICHI-1995-HalgrenFT #animation
Amazing Animation: Movie Making for Kids (SLH, TF, DT), pp. 519–524.
ICLPICLP-1995-Kahn #concurrent #constraints #named #programming
ToonTalk — Concurrent Constraint Programming for Kids (KMK), p. 3.
FMFME-1994-Ledru #development #specification
Proof-Based Development of Specifications with KIDS/VDM (YL), pp. 214–232.
ASEKBSE-1993-Smith #algorithm #named #synthesis #tutorial
KIDS: An Algorithm Synthesis System (Tutorial) (DRS), p. 2.
ASEKBSE-1992-LedruL #prototype #specification
Prototyping VDM Specifications with KIDS (YL, MHL), p. 8.
ASEKBSE-1992-Smith #development #knowledge-based #named
KIDS: A Knowledge-Based Software Development System (Demonstration) (DRS), p. 29.
SEKESEKE-1990-Sinohara #information management #knowledge base
KID-a- Knowledge Acquisition Support Tool to develop Validated Knowledge Base (YS), pp. 122–126.

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.