A .详细的、不可测的、可实现的、不相关的、无时间约束的
B .明确的、可测的、可实现的、不相关的、无时间约束的
C .明确的、可测的、可实现的、相关的、有时间约束的
D .明确的、可测的、可实现的、宏大的、有时间约束