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

Anna Zamansky; Yoni Zohar

doi:10.1007/978-3-319-39564-7_10

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

Anna Zamansky, Yoni Zohar

Department of Information Systems

University of Haifa

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 language	American English
Title of host publication	Advanced Information Systems Engineering Workshops - CAiSE 2016 International Workshops, Proceedings
Editors	John Krogstie, Jianwen Su, Haralambos Mouratidis
Publisher	Springer Verlag
Pages	103-108
Number of pages	6
ISBN (Print)	9783319395630
DOIs	https://doi.org/10.1007/978-3-319-39564-7_10
State	Published - 2016
Event	28th Conference on Advanced Information Systems Engineering, CAiSE 2016 held in conjunction with ASDENCA, BumDISE, COGNISE, EnBIS, EM, WISSE 2016 - Ljubljana, Slovenia Duration: 13 Jun 2016 → 17 Jun 2016

Publication series

Name	Lecture Notes in Business Information Processing
Volume	249

Conference

Conference	28th Conference on Advanced Information Systems Engineering, CAiSE 2016 held in conjunction with ASDENCA, BumDISE, COGNISE, EnBIS, EM, WISSE 2016
Country/Territory	Slovenia
City	Ljubljana
Period	13/06/16 → 17/06/16

Keywords

Automated reasoning
Education
Engagement
Logic
Software engineering
Teaching
Testing

All Science Journal Classification (ASJC) codes

Management Information Systems
Control and Systems Engineering
Business and International Management
Information Systems
Modelling and Simulation
Information Systems and Management

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1007/978-3-319-39564-7_10

Cite this

Zamansky, A., & Zohar, Y. (2016). ‘Mathematical’ does not mean ‘boring’: Integrating software assignments to enhance learning of logico-mathematical concepts. In J. Krogstie, J. Su, & H. Mouratidis (Eds.), Advanced Information Systems Engineering Workshops - CAiSE 2016 International Workshops, Proceedings (pp. 103-108). (Lecture Notes in Business Information Processing; Vol. 249). Springer Verlag. https://doi.org/10.1007/978-3-319-39564-7_10

Zamansky, Anna ; Zohar, Yoni. / ‘Mathematical’ does not mean ‘boring’ : Integrating software assignments to enhance learning of logico-mathematical concepts. Advanced Information Systems Engineering Workshops - CAiSE 2016 International Workshops, Proceedings. editor / John Krogstie ; Jianwen Su ; Haralambos Mouratidis. Springer Verlag, 2016. pp. 103-108 (Lecture Notes in Business Information Processing).

@inproceedings{a86fba9dd50b48cca04d0438a8aacd39,

title = "{\textquoteleft}Mathematical{\textquoteright} does not mean {\textquoteleft}boring{\textquoteright}: Integrating software assignments to enhance learning of logico-mathematical concepts",

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 {\textquoteleft}hands-on{\textquoteright} 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{\textquoteright} feedback and discuss some lessons learnt from the pilot.",

keywords = "Automated reasoning, Education, Engagement, Logic, Software engineering, Teaching, Testing",

author = "Anna Zamansky and Yoni Zohar",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 28th Conference on Advanced Information Systems Engineering, CAiSE 2016 held in conjunction with ASDENCA, BumDISE, COGNISE, EnBIS, EM, WISSE 2016 ; Conference date: 13-06-2016 Through 17-06-2016",

year = "2016",

doi = "10.1007/978-3-319-39564-7\_10",

language = "American English",

isbn = "9783319395630",

series = "Lecture Notes in Business Information Processing",

publisher = "Springer Verlag",

pages = "103--108",

editor = "John Krogstie and Jianwen Su and Haralambos Mouratidis",

booktitle = "Advanced Information Systems Engineering Workshops - CAiSE 2016 International Workshops, Proceedings",

address = "Germany",

}

Zamansky, A & Zohar, Y 2016, ‘Mathematical’ does not mean ‘boring’: Integrating software assignments to enhance learning of logico-mathematical concepts. in J Krogstie, J Su & H Mouratidis (eds), Advanced Information Systems Engineering Workshops - CAiSE 2016 International Workshops, Proceedings. Lecture Notes in Business Information Processing, vol. 249, Springer Verlag, pp. 103-108, 28th Conference on Advanced Information Systems Engineering, CAiSE 2016 held in conjunction with ASDENCA, BumDISE, COGNISE, EnBIS, EM, WISSE 2016, Ljubljana, Slovenia, 13/06/16. https://doi.org/10.1007/978-3-319-39564-7_10

‘Mathematical’ does not mean ‘boring’: Integrating software assignments to enhance learning of logico-mathematical concepts. / Zamansky, Anna ; Zohar, Yoni.
Advanced Information Systems Engineering Workshops - CAiSE 2016 International Workshops, Proceedings. ed. / John Krogstie; Jianwen Su; Haralambos Mouratidis. Springer Verlag, 2016. p. 103-108 (Lecture Notes in Business Information Processing; Vol. 249).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - ‘Mathematical’ does not mean ‘boring’

T2 - 28th Conference on Advanced Information Systems Engineering, CAiSE 2016 held in conjunction with ASDENCA, BumDISE, COGNISE, EnBIS, EM, WISSE 2016

AU - Zamansky, Anna

AU - Zohar, Yoni

N1 - Publisher Copyright: © Springer International Publishing Switzerland 2016.

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

KW - Automated reasoning

KW - Education

KW - Engagement

KW - Logic

KW - Software engineering

KW - Teaching

KW - Testing

UR - http://www.scopus.com/inward/record.url?scp=84976621074&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-39564-7_10

DO - 10.1007/978-3-319-39564-7_10

M3 - Conference contribution

SN - 9783319395630

T3 - Lecture Notes in Business Information Processing

SP - 103

EP - 108

BT - Advanced Information Systems Engineering Workshops - CAiSE 2016 International Workshops, Proceedings

A2 - Krogstie, John

A2 - Su, Jianwen

A2 - Mouratidis, Haralambos

PB - Springer Verlag

Y2 - 13 June 2016 through 17 June 2016

ER -

Zamansky A , Zohar Y. ‘Mathematical’ does not mean ‘boring’: Integrating software assignments to enhance learning of logico-mathematical concepts. In Krogstie J, Su J, Mouratidis H, editors, Advanced Information Systems Engineering Workshops - CAiSE 2016 International Workshops, Proceedings. Springer Verlag. 2016. p. 103-108. (Lecture Notes in Business Information Processing). doi: 10.1007/978-3-319-39564-7_10

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

Abstract

Publication series

Conference

Keywords

All Science Journal Classification (ASJC) codes

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this