下列哪项是妊娠高血压综合征患者应用利尿药的禁忌证

A．肺水肿

B．脑水肿

C．心力衰竭

D．血细胞比容＞0.35

E．全身水肿

净室软件工程是软件开发的一种 (60) 方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将 (61) 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。

60（）

A．形式化

B．迭代式

C．瀑布式

D．交互式