Martin Rinard MIT Laboratory for Computer Science Cambridge, MA 021139  @ NUS Home/Search
Context Related
| mit.edu/~rinard/pa...3.acceptability.ps Cached: PS.gz PS PDF Image Update Help From: mit.edu/~rinard/paper/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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... (Update)
Cited by: More
Enhancing Server Availability and Security through .. - Rinard, Cadar.. (2004) (Correct)
Active bibliography (related documents): More All
0.3: Data Structure Repair Using Goal-Directed Reasoning - Brian Demsky Massachusetts (Correct)
0.3: Static Specification Analysis for Termination of - Specification-Based Data.. (Correct)
0.3: Software Reliability Engineering - Berztiss (Correct)
Similar documents based on text: More All
0.1: An Implementation of Scoped Memory for Real-Time Java - Beebee, Jr., Rinard (2001) (Correct)
0.1: The Design, Implementation, and Evaluation of Jade - Rinard, Lam (1998) (Correct)
0.1: Effective Fine-Grain Synchronization For Automatically.. - Rinard (1999) (Correct)
BibTeX entry: (Update)
M. Rinard. Acceptability-oriented computing. In 2003. http://citeseer.comp.nus.edu.sg/658206.html More
@misc{ rinard03acceptabilityoriented,
author = "M. Rinard",
title = "Acceptability-oriented computing",
text = "M. Rinard. Acceptability-oriented computing. In 2003.",
year = "2003",
url = "citeseer.comp.nus.edu.sg/658206.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
901 Transaction Processing: Concepts and Techniques (context) - Gray, Reuter - 1993
756 Aspect-oriented programming - Kiczales, Lamping et al. - 1997
171 EEL: Machine-independent executable editing (context) - Larus, Schnarr - 1995
146 Deriving production rules for constraint maintenance - Ceri, Widom - 1990
90 Ray tracing complex scenes (context) - Kay, Kajiya - 1986
55 Quickly detecting relevant program invariants - Ernst, Czeisler et al. - 2000
45 Recursive restartability: Turning the reboot sledgehammer in.. - Candea, Fox - 2001
36 UFO: A personal global file system based on user-level exten.. - Alexandrov, Ibel et al. - 1998
34 Automatic generation of production rules for integrity maint.. (context) - Ceri, Fraternali et al. - 1994
15 switching system: Maintenance capabilities (context) - Haugk, Lax et al. - 1985
15 Credible compilation with pointers - Rinard, Marinov - 1999
13 Automatic detection and repair of errors in data structures - Demsky, Rinard - 2003
13 Constraint analysis: A design process for specifying operati.. (context) - Urban, Delcambre - 1990
10 reliability IBM MVXA operating system (context) - Mourad, On et al. - 1987
6 Role-based exploration of object-oriented programs - Demsky, Rinard - 2002
6 Technical Report MIT-LCS-TR (context) - Rinard - 1999
4 The Machine that Changed the World: the Story of Lean Produc.. (context) - Womack, Jones et al. - 1991
4 Out of the Crisis (context) - Deming - 2000
3 version software experiment (context) - Brilliant, Knight et al. - 1990
2 Group inhibition of bystander intervention in emergencies (context) - Latane, Darley - 1968
1 Embedded Systems Programming (context) - Plauger - 1994
1 Bystander intervention in emergencies: Di#usion of responsib.. (context) - Darley, Latane - 1968
Documents on the same site (http://www.cag.lcs.mit.edu/~rinard/paper/): More
Hierarchical Concurrency in Jade - Scales, Rinard, Lam, Anderson (Correct)
Commutativity Analysis: A Technique for Automatically.. - Rinard, Diniz (1996) (Correct)
Commutativity Analysis: A New Analysis Framework for.. - Rinard, Diniz (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.