Proceedings : 12th IEEE International Requirements Engineering Conference, Kyoto, Japan, September 6-10, 2004