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

Anna Zamansky, Eitan Farchi

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 languageEnglish
Title of host publicationSoftware Engineering and Formal Methods - SEFM 2015 Collocated Workshops
Subtitle of host publicationATSE, HOFM, MoKMaSD, and VERY*SCART, Revised Selected Papers
EditorsDomenico Bianculli, Radu Calinescu, Bernhard Rumpe
PublisherSpringer Verlag
Pages68-74
Number of pages7
ISBN (Print)9783662492239
DOIs
StatePublished - 2015
Event13th International Conference on Software Engineering and Formal Methods, SEFM 2015 - York, United Kingdom
Duration: 7 Sep 20158 Sep 2015

Publication series

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

Conference

Conference13th International Conference on Software Engineering and Formal Methods, SEFM 2015
Country/TerritoryUnited Kingdom
CityYork
Period7/09/158/09/15

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2015.

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science (all)

Fingerprint

Dive into the research topics of 'Exploring the role of logic and formal methods in information systems education'. Together they form a unique fingerprint.

Cite this