为什么说，形式化方法是提高软件系统，特别是安全至上的软件系统的安全性与可靠性的重要手段。

有些滤镜效果可能占用大量内存，特别是应用于高分辩率的图像时，以下哪些方法可提高工作效率？（）

多选题查看答案

什么是软件配置管理？软件维护中心为什么需要特别关注软件配置管理？

简答题查看答案

为什么说软件的维护是不可避免的？

简答题查看答案

为什么说软件维护是一项困难的工作？

简答题查看答案

为什么说数据通信网络是一个十分复杂的系统？

简答题查看答案

为什么说软件工程是一门综合性的交叉学科？

简答题查看答案

为什么说文档是影响软件可维护性的决定因素？

简答题查看答案

为什么说分布式控制是递阶控制系统？

简答题查看答案

为什么说立项（或签订合同）是一切项目的源头，也是软件项目的源头？

简答题查看答案