Web-based laboratories in the introductory curriculum enhance formal methods

SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)

Volumn 28, Issue 1, 1996, Pages 160-164

  Jones, Rhys Price ^a   Ruehr, Fritz ^a   Salter, Richard ^a  

^a OBERLIN COLLEGE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CURRICULUM; FORMAL METHODS; FUNCTIONAL PROGRAMMING LANGUAGE; HYPERTEXT MARKUP LANGUAGE; INTERACTIVE PROGRAMMING; WORLD WIDE WEB;

COMPUTER AIDED INSTRUCTION; COMPUTER PROGRAMMING; ELECTRONIC PUBLISHING; FORMAL LANGUAGES; INFORMATION TECHNOLOGY; INTERACTIVE COMPUTER SYSTEMS; OBJECT ORIENTED PROGRAMMING; ONLINE SYSTEMS; RESEARCH LABORATORIES; TEACHING;

COMPUTER SCIENCE;

EID: 0029711002     PISSN: 00978418     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/236462.236531     Document Type: Article

References (6)

1. tX reference manual. Technical report, Oberlin College Computer Science Program, November 1995. In progress.
2. R. Kent Dybvig. Chez scheme system maual, revision 2.2. Cadence Research Systems, 1993.
3. Jane C. Prey John C. Knight and William Wulf. Undergraduate computer science education: A new curriculum philosophy and overview. The Papers of the Twenty-Fifth SIGCSE Technical Symposium on Computer Science Education, 26(1), March 1994.
4. Leslie Lamport. LATEX : a document preparation system. Addison-Wesley, Reading, Mass., 1986.
5. J.-F. Groff T. Berners-Lee, R. Cailliau. The worldwide web. Computer networks and ISDN systems, 25(4-5), November 1992.
6. A. B. Tucker. Computing curricula 1991. Communications of the ACM, 34(6):68-86, June 1991.