|
|
形式化方法模型（Formal Methods Model）
|
|
|
|
知识路径： > 嵌入式系统的项目开发与维护知识 > 系统开发过程及其项目管理 > 系统开发的项目管理基础知识及其常用管理工具 > 开发过程管理知识及工具 > 过程模型 >
|
|
考试要求：掌握
相关知识点：8个
|
|
|
|
|
形式化方法是用于将复杂系统建模为数据实体的技术，是建立在严格数学基础上的一种开发方法，其主要活动是生成计算机软件形式化的数学规格说明。
|
|
|
|
形式化方法用严格的数学语言和语义描述功能规约和设计规约，通过数学的分析和推导，易于发现需求的歧义性、不完整性和不一致性，易于对分析模型、设计模型和程序进行验证。通过数学的演算，使得从形式化功能规约到形式化设计规约，以及从形式化设计规约到程序代码的转换成为可能。
|
|
|
|
|
|
|
|
| |
|
|
|
