在“学生选课”例子中，D={“学生选课”应用软件，“学生选课”需求说明书……}一般被划分到以下哪种形态（）