下列离子方程式书写正确的是                          （ ）

A．实验室用大理石和稀盐酸制取CO₂：2H⁺ + CO₃^2-＝ CO₂↑+ H₂O

B．稀盐酸与氢氧化钡溶液反应： H⁺+OH^-=H₂O

C．硫酸镁溶液与氢氧化钡溶液反应：SO₄^2－ + Ba²⁺="=" BaSO₄↓

D．稀硫酸与氢氧化钡溶液反应：Ba²⁺+OH^-+ SO₄^2-+ H⁺=" Ba" SO₄↓+H₂O

软件生命周期分为软件定义期、软件开发期和软件维护期，详细设计属于______中的一个阶段。