软件开发技术的突破性进展

六十年代开始就出现了“软件危机”，当时一个大型复杂软件，要花上千人年的工作量才能实现，而开发质量极差，常常可能包含成千上万个错误，因此首先要解决的问题，就是如何确保