软件工程导论 第四 软件工程导论 软你 软件江程导论 工程 软件工程 导论 软件工程 Software Engi neer ing 河南中医药大学信息技术学院
软件工程 河南中医药大学 信息技术学院 Software Engineering
第四章 氵|形式化说明技术 主讲内容:形式化方法、案例等 第2页
第 2 页 第四章 形式化说明技术 主讲内容：形式化方法、案例等
●·主要内容 概述 二.有穷状态机 三. Petri网 第3页
第 3 页 主要内容 一．概述 二．有穷状态机 三．Petri网
软件开发:把现实世界的需求映射成计算机软件的模 型化过程。 在模型化过程中涉及三种系统: 现实世界 模型表示 计算机系统 第4页
第 4 页 • 软件开发：把现实世界的需求映射成计算机软件的模 型化过程。 • 在模型化过程中涉及三种系统： – 现实世界 – 模型表示 – 计算机系统
现实世界 形式化过程: 者之间的描 模烈表示 述过程和转化 过程 计算机世界 第5页
第 5 页 模型表示 形式化过程： 三者之间的描 述过程和转化 过程