Acceptability-Oriented Computing
We discuss a new approach to the construction of software systems. Instead of attempting to build a system that is as free of errors as possible, the designer instead identifies key properties that the execution must satisfy to be acceptable to its users. Together, these properties define the accept...
Main Author: | Rinard, Martin C. |
---|---|
Format: | Article |
Language: | en_US |
Published: |
2003
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/3846 |
Similar Items
-
Exploring the Potential of Pre-Trained Language Models of Code for Automated Program Repair
by: Sichong Hao, et al.
Published: (2024-03-01) -
Slicing aspect-oriented program using aspect- oriented dependence flow graph for software maintenance
by: Ahmad, Syarbaini
Published: (2016) -
REX: General-Purpose CNL with Code Generation Support
by: Adriano Carvalho
Published: (2022-07-01) -
Understanding and Statically Detecting Synchronization Performance Bugs in Distributed Cloud Systems
by: Chen Zhang, et al.
Published: (2019-01-01) -
The developer's guide to debugging /
by: Grotker, Thorsten
Published: (2008)