Science and Engineering Ethics 27 (6):1-16 (2021)

Authors
Matteo Pascucci
Slovak Academy of Sciences
Daniela Glavaničová
Slovak Academy of Sciences
Abstract
In the present article we exploit the logical notions of correctness and completeness to provide an analysis of some fundamental problems that can be encountered by a software developer when transforming norms for traffic circulation into programming instructions. Relying on this analysis, we then introduce a question and answer procedure that can be helpful, in case of an accident, to clarify which components of an existing framework should be revised and to what extent software developers can be held responsible.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11948-021-00350-5
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,714
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Collective Responsibility.Jan Narveson - 2002 - The Journal of Ethics 6 (2):179-198.

View all 8 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Engel on Doxastic Correctness.Conor McHugh - 2017 - Synthese 194 (5):1451-1462.
Computation as Logic.René Lalement - 1993 - Prentice-Hall.
Programming or Problem Solving with Computers?Maciej M. Sysło - 2019 - Constructivist Foundations 14 (3):373-376.
Belief, Correctness and Normativity.Davide Fassio - 2011 - Logique Et Analyse 54 (216):471.

Analytics

Added to PP index
2021-10-29

Total views
0

Recent downloads (6 months)
0

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes