Recent trends in the manufacturing and sales of home computers indicate that a new form of instruction must be developed for teaching programming in the home. Students learn programming from interacting with computers and other students in a classroom setting. The home user may not have this option. Manuals do not teach; they are good for looking up information you have forgotten. Workbooks and textbooks do not have a structure conducive to teaching—you have to understand everything before you can figure out “undiagnosible syntax error” or “OC4.” An approach has been developed at UICC which uses sophisticated error handling and modest program verification to supervise the beginning user while he/she is constructing and executing computer graphics programs. New, inexperienced computer users are now doing interesting (to them) programs within a half hour. This “interactive workbook” concept will be expanded and is currently a working prototype of a teaching package to be available on a home computer graphics/color TV system next year.
[1]
Donald Christiansen.
Spectral lines: Over (or under) 40 and out (or in)
,
1977,
IEEE Spectrum.
[2]
Alan Kay,et al.
Microelectronics and the Personal Computer
,
1977
.
[3]
SIDNEY L. HANTLER,et al.
An Introduction to Proving the Correctness of Programs
,
1976,
CSUR.
[4]
James C. King,et al.
Proving Programs to be Correct
,
1971,
IEEE Transactions on Computers.
[5]
Theodor Holm Nelson,et al.
Computer graphics as a way of life
,
1974,
SIGGRAPH '74.
[6]
C. Machover,et al.
Graphics displays: Users are enticed by decreasing hardware costs and greater availability of software
,
1977,
IEEE Spectrum.
[7]
T. DeFanti.
The digital component of the circle graphics habitat
,
1976,
AFIPS '76.
[8]
Karl N. Levitt,et al.
Greatest Common Divisor of n Integers and Multipliers (Certification of Algorithm 386)
,
1973,
Commun. ACM.