Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time.

Andres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer

Browse the full MODELS paper archive.