Requirements analysis and design definition