This position paper contributes to the ongoing debate on the role played by logic and formal methods courses in the computing curricula. We report on an exploratory empirical study investigating the perceptions of Information Systems students on the benefits of a completed course on logic and formal specification. Participants indicated that the course had fostered their analytical thinking abilities and provided them with tools to handle abstraction and decomposition. This provides a starting point for a discourse on the benefits of formal methods courses for IS practitioners.
|Title of host publication||Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops|
|Subtitle of host publication||ATSE, HOFM, MoKMaSD, and VERY*SCART, Revised Selected Papers|
|Editors||Domenico Bianculli, Radu Calinescu, Bernhard Rumpe|
|Number of pages||7|
|State||Published - 2015|
|Event||13th International Conference on Software Engineering and Formal Methods, SEFM 2015 - York, United Kingdom|
Duration: 7 Sep 2015 → 8 Sep 2015
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Conference||13th International Conference on Software Engineering and Formal Methods, SEFM 2015|
|Period||7/09/15 → 8/09/15|
Bibliographical notePublisher Copyright:
© Springer-Verlag Berlin Heidelberg 2015.
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science (all)