TEACHING ABSTRACTION IN MATHEMATICS AND COMPUTER SCIENCE - A Computer-supported Approach with Alloy

M. Simonot, M. Homps, P. Bonnot

2012

Abstract

Abstraction skill is difficult but essential when learning computer science and mathematics. In this paper, we present an experience from the Computer Science Department of IUT de Montreuil in which mathematics and computing teaching work together in order to provide abstract thinking skills to students. Our approach is to connect mathematics and software engineering through a computer-supported approach which uses - in mathematics and software engineering undergraduate courses- Alloy, a lightweight formal method from MIT. Alloy serves as a continuum from micro-modelling activities -used to enforce an abstract understanding of basic mathematic concepts- to real software modelling practice. It enables us to elaborate a kind of exploratory learning where students are actively engaged.

References

  1. Alloy (2007). The alloy analyzer. http://alloy.mit.edu.
  2. Alloy (2007). The alloy analyzer. http://alloy.mit.edu.
  3. Bennedsen, J. and Caspersen, M. E. (2004). Programming in context: a model-first approach to cs1. In SIGCSE'04, pages 477-481.
  4. Bennedsen, J. and Caspersen, M. E. (2004). Programming in context: a model-first approach to cs1. In SIGCSE'04, pages 477-481.
  5. Boyatt, R. and Sinclair, J. (2008). Experiences of teaching a lightweight formal method. In Formal Methods in Computer Science Education 2008.
  6. Boyatt, R. and Sinclair, J. (2008). Experiences of teaching a lightweight formal method. In Formal Methods in Computer Science Education 2008.
  7. Cohoon, J. and Knight, J. (2006). Connecting discrete mathematics and software engineering. In 36th ASEE/IEEE Frontiers in Education Conference, pages 13-18.
  8. Cohoon, J. and Knight, J. (2006). Connecting discrete mathematics and software engineering. In 36th ASEE/IEEE Frontiers in Education Conference, pages 13-18.
  9. Devlin, K. (2003). Introduction. Commun. ACM, 46:36-39.
  10. Devlin, K. (2003). Introduction. Commun. ACM, 46:36-39.
  11. Fenton, W. E. and Dubinsky, E. (1996). Introduction to discrete mathematics with ISETL. Springer.
  12. Fenton, W. E. and Dubinsky, E. (1996). Introduction to discrete mathematics with ISETL. Springer.
  13. Gregory, P. (2004). Motivating computing students to learn mathematics. MSOR Connections, 4(3).
  14. Gregory, P. (2004). Motivating computing students to learn mathematics. MSOR Connections, 4(3).
  15. Hadar, I. and Hadar, E. (2007). An iterative methodology for teaching object oriented concepts. Informatics in Education, 6(1):67-80.
  16. Hadar, I. and Hadar, E. (2007). An iterative methodology for teaching object oriented concepts. Informatics in Education, 6(1):67-80.
  17. Jackson, D. (2006). Software Abstractions: Logic, Language and Analysis. The MIT Press.
  18. Jackson, D. (2006). Software Abstractions: Logic, Language and Analysis. The MIT Press.
  19. Lutz, M. (2006). Experiences with alloy in undergraduate formal method. In Proceedings of 2006 American Society of Engineering Education Conference,, Chicago, IL. June 2006.
  20. Lutz, M. (2006). Experiences with alloy in undergraduate formal method. In Proceedings of 2006 American Society of Engineering Education Conference,, Chicago, IL. June 2006.
  21. Naveda, J. F., Lutz, M. J., Vallino, J. R., Reichlmayr, T., and Ludi, S. (2009). The road we've traveled: 12 years of undergraduate software engineering at the rochester institute of technology. In ITNG, pages 690-695.
  22. Naveda, J. F., Lutz, M. J., Vallino, J. R., Reichlmayr, T., and Ludi, S. (2009). The road we've traveled: 12 years of undergraduate software engineering at the rochester institute of technology. In ITNG, pages 690-695.
  23. Sekerinski, E. (2009). Teaching the unifying mathematics of software design. In WCCCE 7809: Proceedings of the 14th Western Canadian Conference on Computing Education, pages 109-115, New York, NY, USA. ACM.
  24. Sekerinski, E. (2009). Teaching the unifying mathematics of software design. In WCCCE 7809: Proceedings of the 14th Western Canadian Conference on Computing Education, pages 109-115, New York, NY, USA. ACM.
  25. Siller, H. S. and Greefrath, G. (2009). Mathematical modelling in class regarding to technology. In CERME 6.
  26. Siller, H. S. and Greefrath, G. (2009). Mathematical modelling in class regarding to technology. In CERME 6.
  27. Sotiriadou, A. and Kefalas, P. (2000). Teaching formal methods in computer science undergraduates. In International Conference on Applied and Theoretical Mathematics.
  28. Sotiriadou, A. and Kefalas, P. (2000). Teaching formal methods in computer science undergraduates. In International Conference on Applied and Theoretical Mathematics.
Download


Paper Citation


in Harvard Style

Simonot M., Homps M. and Bonnot P. (2012). TEACHING ABSTRACTION IN MATHEMATICS AND COMPUTER SCIENCE - A Computer-supported Approach with Alloy . In Proceedings of the 4th International Conference on Computer Supported Education - Volume 2: CSEDU, ISBN 978-989-8565-07-5, pages 239-245. DOI: 10.5220/0003898302390245


in Harvard Style

Simonot M., Homps M. and Bonnot P. (2012). TEACHING ABSTRACTION IN MATHEMATICS AND COMPUTER SCIENCE - A Computer-supported Approach with Alloy . In Proceedings of the 4th International Conference on Computer Supported Education - Volume 2: CSEDU, ISBN 978-989-8565-07-5, pages 239-245. DOI: 10.5220/0003898302390245


in Bibtex Style

@conference{csedu12,
author={M. Simonot and M. Homps and P. Bonnot},
title={TEACHING ABSTRACTION IN MATHEMATICS AND COMPUTER SCIENCE - A Computer-supported Approach with Alloy},
booktitle={Proceedings of the 4th International Conference on Computer Supported Education - Volume 2: CSEDU,},
year={2012},
pages={239-245},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003898302390245},
isbn={978-989-8565-07-5},
}


in Bibtex Style

@conference{csedu12,
author={M. Simonot and M. Homps and P. Bonnot},
title={TEACHING ABSTRACTION IN MATHEMATICS AND COMPUTER SCIENCE - A Computer-supported Approach with Alloy},
booktitle={Proceedings of the 4th International Conference on Computer Supported Education - Volume 2: CSEDU,},
year={2012},
pages={239-245},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003898302390245},
isbn={978-989-8565-07-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Computer Supported Education - Volume 2: CSEDU,
TI - TEACHING ABSTRACTION IN MATHEMATICS AND COMPUTER SCIENCE - A Computer-supported Approach with Alloy
SN - 978-989-8565-07-5
AU - Simonot M.
AU - Homps M.
AU - Bonnot P.
PY - 2012
SP - 239
EP - 245
DO - 10.5220/0003898302390245


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Computer Supported Education - Volume 2: CSEDU,
TI - TEACHING ABSTRACTION IN MATHEMATICS AND COMPUTER SCIENCE - A Computer-supported Approach with Alloy
SN - 978-989-8565-07-5
AU - Simonot M.
AU - Homps M.
AU - Bonnot P.
PY - 2012
SP - 239
EP - 245
DO - 10.5220/0003898302390245