loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: M. Simonot ; M. Homps and P. Bonnot

Affiliation: LIASD and Université Paris 8- IUT Montreuil, France

Keyword(s): Abstraction, Alloy, Lightweight Formal Method, Modelling, Teaching Mathematics for Computing, Computer Supported Education.

Related Ontology Subjects/Areas/Topics: Computer-Supported Education ; Course Design and e-Learning Curriculae ; e-Learning ; Learning Organizations ; Social Context and Learning Environments ; Technology Enhanced Learning ; Ubiquitous Learning

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.138.69.45

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 1: CSEDU; ISBN 978-989-8565-07-5; ISSN 2184-5026, SciTePress, pages 239-245. DOI: 10.5220/0003898302390245

@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 1: CSEDU},
year={2012},
pages={239-245},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003898302390245},
isbn={978-989-8565-07-5},
issn={2184-5026},
}

TY - CONF

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

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic