@article{ref1,
title="Correctness and completeness of programming instructions for traffic circulation",
journal="Science and engineering ethics",
year="2021",
author="Glavaničová, Daniela and Pascucci, Matteo",
volume="27",
number="6",
pages="72-72",
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.<p /> <p>Language: en</p>",
language="en",
issn="1353-3452",
doi="10.1007/s11948-021-00350-5",
url="http://dx.doi.org/10.1007/s11948-021-00350-5"
}