Browsing Singapore-MIT Alliance (SMA) by Subject "testing and debugging"

Now showing items 1-1 of 1

    • Acceptability-Oriented Computing 

      Rinard, Martin C. (2004-01)
      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 ...