@inproceedings{162184a64ba9484fbe0012130190b002,
title = "Exploring the role of logic and formal methods in information systems education",
abstract = "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.",
author = "Anna Zamansky and Eitan Farchi",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2015.; 13th International Conference on Software Engineering and Formal Methods, SEFM 2015 ; Conference date: 07-09-2015 Through 08-09-2015",
year = "2015",
doi = "https://doi.org/10.1007/978-3-662-49224-6_7",
language = "American English",
isbn = "9783662492239",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "68--74",
editor = "Domenico Bianculli and Radu Calinescu and Bernhard Rumpe",
booktitle = "Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops",
address = "Germany",
}