An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers

Authors:
Pablo F. Castro;T. S. E. Maibaum
Affiliations:
McMaster University;McMaster University
Venue:
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Year:
2007

Citing 0
Cited 3

A Tableaux System for Deontic Action Logic

DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic

Methods, Models and Tools for Fault Tolerance
Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

A key challenge for software engineering is to learn how to reconcile the formal world of the machine and its software with the non-formal real world. In this paper, we discuss elements of Problem Oriented Software Engineering (POSE), an approach that ...