首页 /
计算机科学 /
axiomatic specification axiomatic specification/ˈæksiəmətɪk spəsɪfɪˈkeɪʃn/公理化规范 · 计算机科学
在软件工程中，通过一组公理和规则来精确描述系统行为的一种方法，常用于形式化验证和程序设计。
🧩 定义
- 一种形式化描述方式
- 基于数学公理构建模型
- 用于确保系统正确性
💡 实例
在开发一个银行系统时，工程师使用“axiomatic specification”来定义转账逻辑，确保每一步操作都符合数学规则，避免错误发生。