Books by IEEE International Automated Software Engineering Conference (15th 2000 Grenoble, France)