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

Andres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer. Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time. In Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson, editors, Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings. Volume 7590 of Lecture Notes in Computer Science, pages 53-69, Springer, 2012. [doi]

Authors

Andres J. Ramirez

This author has not been identified. Look up 'Andres J. Ramirez' in Google

Betty H. C. Cheng

This author has not been identified. Look up 'Betty H. C. Cheng' in Google

Nelly Bencomo

This author has not been identified. Look up 'Nelly Bencomo' in Google

Pete Sawyer

This author has not been identified. Look up 'Pete Sawyer' in Google