‘Mathematical’ does not mean ‘boring’: Integrating software assignments to enhance learning of logico-mathematical concepts

Anna Zamansky, Yoni Zohar

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Scopus citations

Abstract

Insufficient mathematical skills of practitioners are hypothesized as one of the main hindering factors for the adoption of formal methods in industry. This problem is directly related to negative attitudes of future computing professionals to core mathematical disciplines, which are perceived as difficult, boring and not relevant to their future daily practices. This paper is a contribution to the ongoing debate on how to make courses in Logic and Formal Methods both relevant and engaging for future software practitioners.We propose to increase engagement and enhance learning by integrating ‘hands-on’ software engineering assignments based on cross-fertilization between software engineering and logic. As an example, we report on a pilot assignment given at a Logic and Formal Methods course for Information Systems students at the University of Haifa. We describe the design of the assignment, students’ feedback and discuss some lessons learnt from the pilot.

Original languageEnglish
Title of host publicationAdvanced Information Systems Engineering Workshops - CAiSE 2016 International Workshops, Proceedings
EditorsJohn Krogstie, Jianwen Su, Haralambos Mouratidis
PublisherSpringer Verlag
Pages103-108
Number of pages6
ISBN (Print)9783319395630
DOIs
StatePublished - 2016
Externally publishedYes
Event28th Conference on Advanced Information Systems Engineering, CAiSE 2016 held in conjunction with ASDENCA, BumDISE, COGNISE, EnBIS, EM, WISSE 2016 - Ljubljana, Slovenia
Duration: 13 Jun 201617 Jun 2016

Publication series

NameLecture Notes in Business Information Processing
Volume249
ISSN (Print)1865-1348

Conference

Conference28th Conference on Advanced Information Systems Engineering, CAiSE 2016 held in conjunction with ASDENCA, BumDISE, COGNISE, EnBIS, EM, WISSE 2016
Country/TerritorySlovenia
CityLjubljana
Period13/06/1617/06/16

Bibliographical note

Publisher Copyright:
© Springer International Publishing Switzerland 2016.

Keywords

  • Automated reasoning
  • Education
  • Engagement
  • Logic
  • Software engineering
  • Teaching
  • Testing

Fingerprint

Dive into the research topics of '‘Mathematical’ does not mean ‘boring’: Integrating software assignments to enhance learning of logico-mathematical concepts'. Together they form a unique fingerprint.

Cite this