IEEE International Requirements Engineering Conference (12th 2004 Kyoto, Japan)