本版本与网上其他资源不同之处在于，此版本可进行编辑，搜索，已进行内容识别扫描。可全选，可编辑，可剪切文字。 部分目录如下： 推荐序 译者序 丛书前言 前言 致谢 第一部分最关键的小舵板 第1 章意图导向编程...............…... 2 1.1 意图导向编程：一个实例…·……..… 2 I. 2 优点....................................... 4 1. 2. I 方法的内聚性........................ 5 I. 2. 2 可

本文提出了一个增强的框架，用于正式分析安全关键系统（SCS）。 由于失败的风险很高，因此需要更加关注SCS的开发过程。 模型驱动方法是开发SCS以完成SCS应该执行的关键和复杂功能的方法之一。 两种模型驱动方法：统一建模语言（UML）和形式化方法结合在所提出的框架中，从而可以更严格地分析，设计和测试SCS的安全性，从而减少歧义并增强SCS的正确性和完整性。 为了验证所提出的框架，已经讨论了一个实时案例研究。