【无标题】软件方法论

软件方法论是软件开发过程的指导原则和方法体系，通常情况下软件具有三层含义：个体（指计算机系统中的程序及其文档），整体（指在特定计算机系统中所有上述个体含义下的软件总体），学科（旨在研究、开发、维护以及使用相关含义下的软件所涉及的理论、方法、技术所构成的学科）。在这种含义下，软件他主要研究如何正确且高效率的设计软件，使得软件纪律化，即寻找一些规范的求解过程，把软件活动置于坚实的理论基础之上。从性质上看，软件方法论有形式方法与非形式方法，形式方法是一种具有坚实数学基础的方法，从而允许对系统和开发过程做严格处理和论证。非形式方法则不把严格性作为其主要着眼点。