软件工程导论(第4章)

- 第4章：形式化说明技术 - 1.非形式化方法：自然语言描述2.半形式化方法：数据流图或实体－联系图3.形式化方法：基于数学技术描述 - 4.1