Engaging students in specification and reasoning: "Hands-on" experimentation and evaluation

Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE

Volumn , Issue , 2009, Pages 50-54

  Sitaraman, Murali ^a   Hallstrom, Jason O ^a   White, Jarred ^a   Drachova Strang, Svetlana ^a   Harton, Heather K ^a   Leonard, Dana ^a   Krone, Joan ^b   Pak, Rich ^c  

^a Clemson University   (United States)

^b DENISON UNIVERSITY   (United States)

^c CLEMSON UNIVERSITY   (United States)

Author keywords

Assertions; Components; Mathematical thinking; Tools

Indexed keywords

ASSERTIONS; ENGAGING STUDENTS; EVALUATION RESULTS; FORMAL SPECIFICATION; MATHEMATICAL ANALYSIS; MATHEMATICAL SPECIFICATIONS; MATHEMATICAL THINKING; REASONING PRINCIPLES; SOFTWARE COMPONENT; SOFTWARE ENGINEERING COURSE; TEAM SOFTWARE DEVELOPMENT; TEST POINTS; VERIFICATION CONDITION;

COMPUTER AIDED ANALYSIS; COMPUTER SCIENCE; COMPUTER SOFTWARE SELECTION AND EVALUATION; EDUCATION COMPUTING; ENGINEERING EDUCATION; ENGINEERING RESEARCH; EXPERIMENTS; FORMAL LOGIC; FORMAL METHODS; INNOVATION; SPECIFICATIONS; TEACHING; VERIFICATION;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 77049100046     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1562877.1562899     Document Type: Conference Paper

References (15)

1. th SIGCSE Technical Symposium on Computer Science Education, ACM, 2008, 31-35.
2. Henderson, P. B., "Mathematical Reasoning in Software Engineering Education," Communications of the ACM, 46(9), ACM, 2003, 45-50.
3. nd SIGCSE technical symposium on Computer Science Education, ACM, 2001, 26-30.
4. st SIGCSE Technical Symposium on Computer Science Education, ACM, 1998, 364-365.
5. Almstrum, V., Dean, C., Goelman, D., Hilburn, T., Smith, J., "Support for Teaching Formal Methods," ACM SIGCSE Bulletin (ITiCSE 2000 Working Group Reports), 33(2), ACM, 2001, 71-88.
6. Henderson, P.B., Baldwin, D., Dasigi, V., Dupras, M., Fritz, J., Ginat, D., Goelman, D., Hamer, J., Hitchner, L., Lloyd, W., Marion, B., Riedesel, C., Walker, H., "Striving for Mathematical Thinking," ACM SIGCSE Bulletin (ITiCSE 2001 Working Group Reports), 33(4), ACM, 2001, 114-124.
7. Edwards, S.H., Heym, W.D., Long, T.J., Sitaraman, M., Weide, B.W., "Specifying Components in RESOLVE," Software Engineering Notes, 19(4), ACM, 1994, 29-39.
8. Harton, H., Krone, J., and Sitaraman, M., "Formal Program Verification," Encyclopedia of Computer Science and Engineering, Ed. B. Wah, John Wiley & Sons, 2008.
9. Kulczycki, G., Sitaraman, M., Yasmin, N., and Roche, K., "Formal Specification," Encyclopedia of Computer Science and Engineering, Ed. B. Wah, John Wiley & Sons, 2008.
10. th SIGCSE Technical Symposium on Computer Science Education, ACM, 2009, (to appear).
11. Weide, B.W., Sitaraman, M., Harton, H.K., Adcock, B., Bucci, P., Bronish, D., Heym, W.D., Kirschenbaum, J., and Frazier, D., "Incremental Benchmarks for Software Verification Tools and Techniques," Verified Software: Theories, Tools, and Experiments, Springer-Verlag, 2008, 84-98.
12. rd International Conference on Software Engineering, IEEE, 2001, 601-609.
13. th SIGCSE Technical Symposium on Computer Science Education, ACM, 1996, 155-159.
14. th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ACM, 2006, 212-216.
15. th SIGCSE Technical Symposium on Computer Science Education, ACM, 1996, 150-15.