云南大学-代飞《软件过程》Chapter0.pptVIP

观点：我们不搞形式化，照样在计算机上实现！ 此观点是错误的！ 需求分析→体系结构设计→构件设计→编码 ↑ 形式化 似乎矛盾 需求分析→体系结构设计→构件设计→编码 ↑ ↑ ↑ ↑ 形式化 形式化 形式化 形式化 观点：形式化越早，计算机可做的越多，抽象级别越高，难度越大，效益越明显。若有一天，完全计算机做了，就实现了软件自动化。在这其中部分形式化了，就是CASE。 形式化的时机 常用形式化的方法 一种软件演化过程模型的代数语义 /ch/reader/view_abstract.aspx?file_no=4160flag=1 谢 谢！ 软 件 学 院 * * * * * * * * * * * * * * * * * * * * * * * * * * 软件过程相关的基本概念 过程思维 1 软件过程的基本内涵 2 研究软件过程的两种方法 3 直