Exploring the role of logic and formal methods in information systems education

Anna Zamansky; Eitan Farchi

doi:10.1007/978-3-662-49224-6_7

Exploring the role of logic and formal methods in information systems education

Anna Zamansky, Eitan Farchi

Department of Information Systems

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

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.

Original language	English
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
Publisher	Springer Verlag
Pages	68-74
Number of pages	7
ISBN (Print)	9783662492239
DOIs	https://doi.org/10.1007/978-3-662-49224-6_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

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9509
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	13th International Conference on Software Engineering and Formal Methods, SEFM 2015
Country/Territory	United Kingdom
City	York
Period	7/09/15 → 8/09/15

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2015.

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-662-49224-6_7

Cite this

Zamansky, A., & Farchi, E. (2015). Exploring the role of logic and formal methods in information systems education. In D. Bianculli, R. Calinescu, & B. Rumpe (Eds.), Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, Revised Selected Papers (pp. 68-74). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9509). Springer Verlag. https://doi.org/10.1007/978-3-662-49224-6_7

Zamansky, Anna ; Farchi, Eitan. / Exploring the role of logic and formal methods in information systems education. Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, Revised Selected Papers. editor / Domenico Bianculli ; Radu Calinescu ; Bernhard Rumpe. Springer Verlag, 2015. pp. 68-74 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{d816c5a7210b48a28c8abf29ae2b8da5,

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 = "10.1007/978-3-662-49224-6_7",

language = "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",

}

Zamansky, A & Farchi, E 2015, Exploring the role of logic and formal methods in information systems education. in D Bianculli, R Calinescu & B Rumpe (eds), Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9509, Springer Verlag, pp. 68-74, 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, York, United Kingdom, 7/09/15. https://doi.org/10.1007/978-3-662-49224-6_7

Exploring the role of logic and formal methods in information systems education. / Zamansky, Anna; Farchi, Eitan.
Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, Revised Selected Papers. ed. / Domenico Bianculli; Radu Calinescu; Bernhard Rumpe. Springer Verlag, 2015. p. 68-74 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9509).

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

TY - GEN

T1 - Exploring the role of logic and formal methods in information systems education

AU - Zamansky, Anna

AU - Farchi, Eitan

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2015.

PY - 2015

Y1 - 2015

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

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

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

U2 - 10.1007/978-3-662-49224-6_7

DO - 10.1007/978-3-662-49224-6_7

M3 - Conference contribution

AN - SCOPUS:84956682663

SN - 9783662492239

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 68

EP - 74

BT - Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops

A2 - Bianculli, Domenico

A2 - Calinescu, Radu

A2 - Rumpe, Bernhard

PB - Springer Verlag

T2 - 13th International Conference on Software Engineering and Formal Methods, SEFM 2015

Y2 - 7 September 2015 through 8 September 2015

ER -

Zamansky A, Farchi E. Exploring the role of logic and formal methods in information systems education. In Bianculli D, Calinescu R, Rumpe B, editors, Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, Revised Selected Papers. Springer Verlag. 2015. p. 68-74. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-49224-6_7

Exploring the role of logic and formal methods in information systems education

Abstract

Publication series

Conference

Bibliographical note

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this