Separate requirement – and design specification