Output details
11 - Computer Science and Informatics
Middlesex University
A Taxonomy of Errors for Information Systems
<11> This recent paper offers a new methodological perspective on the theoretical issue of program correctness by presenting a taxonomy of errors for information systems. It was the first paper resulting from a funded research project by the Flemish Research Foundation. Its results were presented at various international meetings and prompted a co-authored follow up application to computational systems, selected as review paper for an issue of Philosophy & Technology. On its basis formal work has been developed, resulting in invitations to symposia and an accepted conference paper (Computability in Europe 2013). It also prompted further in progress collaborations with Oxford and New Zealand.