Exploring the Role of Logic and Formal Methods in Information Systems Education

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.

[1]  Rex L. Page.  Software is discrete mathematics , 2003, ICFP '03.

[2]  Ann E. Kelley Sobel.  Empirical results of a software engineering curriculum incorporating formal methods , 2000, SIGCSE '00.

[3]  Eitan Farchi,et al.  Teaching Logic to Information Systems Students: Challenges and Opportunities , 2015, ArXiv.

[4]  Sotiris Skevoulis,et al.  Integrating Formal Methods Tools Into Undergraduate Computer Science Curriculum , 2006 .

[5]  Johann A. Makowsky,et al.  From Hilbert’s program to a logic tool box , 2008, Annals of Mathematics and Artificial Intelligence.

[6]  Jeannette M. Wing.  Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum , 2000, AMAST.

[7]  Jeannette M. Wing.  An introduction to computer science for non-majors using principles of computation , 2007, SIGCSE.

[8]  Jeff Kramer,et al.  Is abstraction the key to computing? , 2007, CACM.

[9]  Michael R. Clarkson,et al.  Formal Methods Application: An Empirical Tale of Software Development , 2002, IEEE Trans. Software Eng..

[10]  Daniel L. Everett,et al.  Shaping the Future of Business Education , 2013 .

[11]  Robert L. Glass.  Loyal Opposition - New Answer to "How Important Is Mathematics to the Software Practitioner?" , 2000, IEEE Softw..

[12]  Timothy Lethbridge,et al.  What knowledge is important to a software professional? , 2000, Computer.

[13]  Heinrich Hussmann.  Indirect Use of Formal Methods in Software Engineering , 1999 .

[14]  Orit Hazzan,et al.  The role of abstraction in software engineering , 2008, ICSE Companion '08.

[15]  Jeannette M. Wing.  Teaching Mathematics to Software Engineers , 1995, AMAST.

[16]  Ryan T. Wright,et al.  IS 2010: Curriculum Guidelines for Undergraduate Degree Programs in Information Systems , 2010, Commun. Assoc. Inf. Syst..