Self-Adaptive Software : First International Workshop, IWSAS 2000 Oxford, UK, April 17-19, 2000 Revised Papers - Paul Robertson, Howie Shrobe, Robert Laddaga ((Lecture Notes in Computer Science))