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: | |
|---|---|
| Format: | Article |
| Language: | en_US |
| Published: |
2003
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/3846 |
| _version_ | 1811085480762015744 |
|---|---|
| author | Rinard, Martin C. |
| author_facet | Rinard, Martin C. |
| author_sort | Rinard, Martin C. |
| collection | MIT |
| description | 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 acceptability envelope of the system: the region that it must stay within to remain acceptable. The developer then augments the system with a layered set of components, each of which enforces one of the acceptability properties. The potential advantages of this approach include more flexible, resilient systems that recover from errors and behave acceptably across a wide range of operating environments, an appropriately prioritized investment of engineering resources, and the ability to productively incorporate unreliable components into the final software system. |
| first_indexed | 2024-09-23T13:10:16Z |
| format | Article |
| id | mit-1721.1/3846 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T13:10:16Z |
| publishDate | 2003 |
| record_format | dspace |
| spelling | mit-1721.1/38462019-04-10T16:37:32Z Acceptability-Oriented Computing Rinard, Martin C. acceptability properties repair monitoring rectification coding tools and techniques software/program verification testing and debugging language constructs and features design languages reliability security requirements/specifications 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 acceptability envelope of the system: the region that it must stay within to remain acceptable. The developer then augments the system with a layered set of components, each of which enforces one of the acceptability properties. The potential advantages of this approach include more flexible, resilient systems that recover from errors and behave acceptably across a wide range of operating environments, an appropriately prioritized investment of engineering resources, and the ability to productively incorporate unreliable components into the final software system. Singapore-MIT Alliance (SMA) 2003-12-13T18:14:36Z 2003-12-13T18:14:36Z 2004-01 Article http://hdl.handle.net/1721.1/3846 en_US Computer Science (CS); 188704 bytes application/pdf application/pdf |
| spellingShingle | acceptability properties repair monitoring rectification coding tools and techniques software/program verification testing and debugging language constructs and features design languages reliability security requirements/specifications Rinard, Martin C. Acceptability-Oriented Computing |
| title | Acceptability-Oriented Computing |
| title_full | Acceptability-Oriented Computing |
| title_fullStr | Acceptability-Oriented Computing |
| title_full_unstemmed | Acceptability-Oriented Computing |
| title_short | Acceptability-Oriented Computing |
| title_sort | acceptability oriented computing |
| topic | acceptability properties repair monitoring rectification coding tools and techniques software/program verification testing and debugging language constructs and features design languages reliability security requirements/specifications |
| url | http://hdl.handle.net/1721.1/3846 |
| work_keys_str_mv | AT rinardmartinc acceptabilityorientedcomputing |