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 | 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 | |
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 |
ISSN (Print) | 1865-1348 |
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 |
Bibliographical note
Publisher Copyright:© Springer International Publishing Switzerland 2016.
Keywords
- Automated reasoning
- Education
- Engagement
- Logic
- Software engineering
- Teaching
- Testing
ASJC Scopus subject areas
- Management Information Systems
- Control and Systems Engineering
- Business and International Management
- Information Systems
- Modeling and Simulation
- Information Systems and Management