Active learning sheets for a beginner's course on reasoning about imperative programs

SIGCSE 2007: 38th SIGCSE Technical Symposium on Computer Science Education

Volumn , Issue , 2007, Pages 198-202

  Lau, Kung Kiu ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Formal methods; Imperative programming; Software engineering

Indexed keywords

COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; LEARNING SYSTEMS; STUDENTS;

ACTIVE LEARNING SHEET; IMPERATIVE PROGRAMMING; MATERIAL CHALLENGING;

FORMAL METHODS;

EID: 34748881765     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1227310.1227382     Document Type: Conference Paper

References (17)

1. The Active Learning Site. http://www.active-learning-site.com/.
2. J. Barnes. High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley, 2003.
3. D. Bligh. What's the Use of Lectures? Jossey-Bass, 2000.
4. C. Bonwell and J. Eison. Active learning: Creating excitement in the classroom. ASHE ERIC Higher Education Report No. 1, School of Education and Human Development, The George Washington University, 1991.
5. D. Gries. The Science of Programming. Springer-Verlag, 1981.
6. K.-K. Lau. A beginner's course on reasoning about imperative programs. In Proc. Symp. on Teaching Formal Methods, LNCS 3294, pages 1-16. Springer-Verlag, 2004.
7. J. Lee. Teaching and learning in the 21st century: the development of "future CS faculty". ACM SIGCSE Bulletin, 33(2):25-30, June 2001.
8. J. McConnell. Active learning and its use in computer science. ACM SIGCSE Bulletin, 28:52-54, 1996.
9. J. McConnell. Analysis of Algorithms: An Active Learning Approach. Jones and Bartlett, 2001.
10. On teaching large classes, http ://ase.tufts.edu/cae/occasional_papers/ large-classes.htm.
11. M. Ratto, R. B. Shapiro, T. Truong, and W. Griswold. The ActiveClass project: Experiments in encouraging classroom. participation. In Computer Support for Collaborative Learning 2003, pages 477-486. Kluwer, 2003.
12. K. Ruhl, C. Hughes, and P. Schloss. Using the pause procedure to enhance lecture recall. Teacher Education and Special Education, 10:14-18, 1987.
13. L. Sherman. Cooperative learning in post secondary education: Implications from social psychology for active learning experiences, 1991. http ://miavxl.muohio.edu/~lwsherman/aera906.html.
14. M. Silberman. Active Learning: 101 Strategies to Teach Any Subject. Allyn and Bacon, 1996.
15. Tarski's World, http ://www-csli.Stanford.edu/hp/Tarskil.html.
16. B. Timmerman and R. Lingard. Assessment of active learning with upper division computer science students. In Proc. 33rd ASEE/IEEE Frontiers in Education Conference, pages S1D-7-12, 2003.
17. S. Wolfman. Making Lemonade: Exploring the bright side of large lecture classes. In Proc. SIGCSE'02, pages 257-261. ACM Press, 2002.