单选题 面向数据结构的设计方法(Jackson方法)是进行(    )的形式化的方法。
   A．系统设计    B．详细设计    C．软件设计    D．编码