Accusations in the context of computer programming
DOI:
https://doi.org/10.36285/tm.69Abstract
We imagine a minimal context where a programmer A serves as the provider of a program X for a user B. A survey is given of plausible promises and accusations in connection with the delivery and deployment of X. When X is used, various problems may arise. The focus of the paper is on the role of accusations which may plausibly arise in various scenarios. We discuss different accusation patterns that may occur outside informatics and see whether such patterns may appear in the context of programming as well.
References
Annette Baier. Trust and antitrust. Ethics, 96(2), pp 231–260, (1986).
David A. Baldwin. Thinking about threats. The Journal of Conflict Resolution, 15 (1), 71–78, (1971).
Jan A. Bergstra. Promises and Threats by Asymmetric Nuclear-Weapon States. χtAxis Press. ISBN:978167318215, (2019).
Jan A. Bergstra. Instruction sequence faults with formal change justification. Scientific Annals of Computer Science, 30(2), pp. 105–166, (2020).
Jan A. Bergstra. Promise theory as a tool for informaticians. Transmathematica, (2020).
Jan A. Bergstra. Promises in the context of humanoid robot morality. International Journal of Robotic Engineering, (2020).
Jan A. Bergstra. Qualifications of instruction sequence failures, faults and defects: dormant, effective,detected, temporary, and permanent. Scientific Annals of Computer Science, 31(1), pp. 1–50, (2021).
Jan A. Bergstra. Defects and faults in algorithms, programs and instruction sequences. Transmathematica (2022).
Jan Bergstra and Mark Burgess. Promise Theory: Principles and Applications. χtAxis Press. ISBN:9781495437779, 2014; Second edition ISBN: 9781696578554, (2019).
Jan Bergstra and Mark Burgess. Candidate software process flaws for the Boeing 737 Max MCAS algorithm and a risk for a proposed upgrade. (2020).
Jan Bergstra and Marcus Düwell. Accusation theory. Transmathematica, (2021).
J.A. Bergstra, J.A. and M.E. Loots. Program algebra for sequential code. Journal of Logic and Algebraic Programming, 51(2), pp. 125–156 (2002).
J.A. Bergstra and C.A. Middelburg. Thread algebra for strategic interleaving. Formal Aspects of Computing,19(4), pp. 445–474, (2007).
Bergstra, J.A., Ponse, A.: Execution architectures for program algebra. Journal of Applied Logic, 5(1), pp. 170–192, (2004).
Mark Burgess: An approach to understanding policy based on autonomy and voluntary cooperation. In: IFIP/IEEE 16th DSOM, LNCS 3775, pp. 97–108, (2005).
Mark Burgess: Knowledge management and promises. LNCS 5637, pp. 95–107, (2009).
Dag Elgesem: The modal logic of agency. Nordic Journal of Philosophical Logic, 2(2), pp. 1–46,(1997).
Gelperin, D., Hetzel, B.: The growth of software testing. Communications of the ACM, 31(6), 687-695, (1988).
Andrew, J.I. Jones.: On the concept of trust. Decision support systems, 33 pp. 225–232, (2002).
Besma Khaireddine, Ali Mili: Quantifying faultiness: what does it mean to have N faults? In: 2021IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, pp. 68–74,(2021).
McIver, A., Morgan, C.: Correctness by construction for probabilistic programs. In: T. Margaria and B. Steffen (Eds.): ISoLA 2020, LNCS 12476, pp. 216–239, (2020).
Miller, R., Collins, C. T.: Acceptance testing. Proc. XPUniverse, p. 238. (2001).
Pörn, I.: Some basic concepts of action. In: S. Stenlund (ed.), Logical Theory and Semantic Analysis. Reidel, Dordrecht, (1974).
Williamson, T.: Modal science. Canadian Journal of Philosophy, 46(4-5), pp.453-492, (2016).
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2022 Jan Aldert Bergstra, Marcus Marcus Düwell
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Authors retain copyright and, if appropriate, performance rights but licence the journal to publish submissions. The lead author confirms that the submission is bound by the CC Attributtion Share Alike 4.0 licence.
