预约成功
软件危机
1.软件危机是指在软件开发和维护时遇到的一系列难以控制的问题导致的供需矛盾。出现在软件发展的第二阶段末期，随着第三代计算机的诞生之际。
2.软件危机主要体现在：
* 软件发展速度跟不上硬件的发展和用户需求。
* 软件成本和开发进度不能预先预算，用户不满意。
* 软件产品质量差，成本高，可靠性没有保证。
* 软件可维护性差，产品没有配套文档。
3.软件危机产生原因：(1)软件规模变大，结构更加复杂。(2)软件开发管理困难。(3)软件开发技术和工具落后。(4)软件开发费用增加。(5)采用落后的个体手工生产方式开发。
4.解决途径：(1) 纠正对软件开发的错误观念。(2) 提高软件工程管理水平，重视文档重要性。(3) 使用好的软件开发工具，研究软件开发技术，规范软件开发流程，提高开发效率。
为了克服软件危机，人们首先想到要用形式化方法来开发软件。
