Injecting rapid feedback and collaborative reasoning in teaching specifications

SIGCSE'09 - Proceedings of the 40th ACM Technical Symposium on Computer Science Education

Volumn , Issue , 2009, Pages 524-528

  Leonard, Dana P ^a   Hallstrom, Jason O ^a   Sitaraman, Murali ^a  

^a Clemson University   (United States)

Author keywords

Collaborative reasoning; Contract programming; Formal methods; Interface specifications; Learning tools

Indexed keywords

CLEMSON UNIVERSITY; COLLABORATIVE REASONING; COURSE MODULES; EVALUATION RESULTS; INTERFACE SPECIFICATION; LEARNING TOOL; METHOD SPECIFICATIONS; PILOT STUDIES; RAPID FEEDBACK; REAL-TIME FEEDBACK; REASONING PARADIGM; SOFTWARE-BASED; TEST CASE;

COMPUTER SCIENCE; CURRICULA; EDUCATION COMPUTING; ENGINEERING EDUCATION; SPECIFICATIONS; STUDENTS;

FORMAL METHODS;

EID: 77956201083     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1508865.1509046     Document Type: Conference Paper

References (16)

1. K. Bruce et al. Why math? CACM, 46(9):40-44, 2003.
2. J. Chase and E. Okie. Combining cooperative learning and peer instruction in introductory computer science. SIGCSE Bulletin, 32(1):372-376, 2000.
3. D. Gries et al. How mathematical thinking enhances computer science problem solving. SIGCSE Bulletin, 33(1):390-391, 2001.
4. P. Henderson. Modern introductory computer science. In SIGCSE 18, pages 183-190, New York, NY, USA, February 1987. ACM.
5. P. Henderson. Mathematical reasoning in software engineering education. CACM, 46(9):45-50, 2003.
6. Intel Corporation. Statistical analysis of floating point flaw (white paper). http://support.intel.com/support/processors/pentium/fdiv/wp/, November 1994.
7. A. Kumar. Using online tutors for learning - what do students think? In FIE 34, pages (cd-rom), Piscataway, NJ, USA, October 2004. IEEE.
8. A. Kumar. Results from the evaluation of the effectiveness of an online tutor on expression evaluation. In SIGCSE 36, pages 216-220, New York, NY, USA, February 2005. ACM.
9. N. Leveson and C. Turner. An investigation of the Therac-25 accidents. IEEE Computer, 26(7):18-41, 1993.
10. J. Lions. Ariane 5: Flight 501 failure, report by the Inquiry Board, European Space Agency. http://esamultimedia.esa.int/docs/esa-x-1819eng.pdf, April 1996.
11. E. Mazur. Peer Instruction: A User's Manual. Series in Educational Innovation. Prentice Hall, Upper Saddle River, NJ, USA, 1997.
12. NASA. Mars climate orbiter mishap investigation board phase i report. ftp://ftp.hq.nasa.gov/pub/pao/reports/1999/MCO-report.pdf, November 1999.
13. R. Pargas and D. Shah. Things are clicking in computer science courses. In SIGCSE 37, pages 474-478, New York, NY, USA, March 2006. ACM.
14. M. Sitaraman and B. W. (eds.). Special feature: Component-based software using RESOLVE. ACM SIGSOFT SEN, 19(4):21-67, 1994.
15. M. Sitaraman et al. A formal approach to component-based software engineering: Education and evaluation. In ICSE 23, pages 601-609, Los Alamitos, CA, USA, May 2001. IEEE Computer Society.
16. US FDA. FDA seeks injunction against multidata systems intl. http://www.fda.gov/bbs/topics/NEWS/2003/NEW00903.html, May 2003.