软件工程是一种( )分阶段实现的软件程序开发方法。

A．自底向上
B．自顶向下
C．逐步求精
D．面向数据流

住在A市的甲欲将位于B市的一间25平方米的房屋出售，甲与住在C市的丙签订了房屋买卖合同，合同中约定：若双方发生争议，应当将争议提请A市法院管辖。后双方因房屋价金而发生纠纷。现甲欲起诉，确认该买卖合同无效。下列说法正确的是：( )。

A．他应当向A市法院起诉

B．他可以向B市法院或C市法院起诉

C．他只能向B市法院起诉

D．他只能向C市法院起诉