交通流通编程指令的正确性与完整性。
Correctness and Completeness of Programming Instructions for Traffic Circulation.
作者信息
Glavaničová Daniela, Pascucci Matteo
机构信息
Department of Logic and Methodology of Sciences, Faculty of Arts, Comenius University in Bratislava, Gondova 2, 811 02, Bratislava, Slovak Republic.
Department of Analytic Philosophy, Institute of Philosophy, Slovak Academy of Sciences, Klemensova 19, 813 64, Bratislava, Slovak Republic.
出版信息
Sci Eng Ethics. 2021 Nov 22;27(6):72. doi: 10.1007/s11948-021-00350-5.
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.
在本文中，我们利用正确性和完整性的逻辑概念，对软件开发人员在将交通流通规范转化为编程指令时可能遇到的一些基本问题进行分析。基于这一分析，我们随后引入一种问答程序，在发生事故时，该程序有助于厘清现有框架的哪些组件应进行修订，以及软件开发人员应承担何种程度的责任。
Zotero 插件