单项选择题 软件工程环境按软件生命周期的不同阶段可分为4类，( )包括程序正确性证明、验证及软件测试等功能。

单项选择题 Cobol语言是( )。

单项选择题 系统设计的主要活动是( )。