Convivial design heuristics for software systems

Kell, Stephen

doi:10.1145/3397537.3397543

Cited by 2 publications

(1 citation statement)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Convivial software [Kell 2020], named in reference to Ivan Illich's book "Tools for conviviality" [Illich 1973], is software that aims at augmenting its users' agency over their computation. Malleable software is a very similar concept, as is re-editable software, a term introduced by Donald Knuth in an interview in opposition to reusable, i.e.…”

Section: Convivial Vs Proprietary Softwarementioning

confidence: 99%

Establishing trust in automated reasoning

Hinsen¹

2023

Preprint

View full text Add to dashboard Cite

Since its beginnings in the 1940s, automated reasoning by computers has become a tool of ever growing importance in scientific research. So far, the rules underlying automated reasoning have mainly been formulated by humans, in the form of program source code. Rules derived from large amounts of data, via machine learning techniques, are a complementary approach currently under intense development. The question of why we should trust these systems, and the results obtained with their help, has been discussed by philosophers of science but has so far received little attention by practitioners. The present work focuses on independent reviewing, an important source of trust in science, and identifies the characteristics of automated reasoning systems that affect their reviewability. It also discusses possible steps towards increasing reviewability and trustworthiness via a combination of technical and social measures.

show abstract

Section: Convivial Vs Proprietary Softwarementioning

confidence: 99%