严密系统设计：方法、趋势与挑战
[法]约瑟夫·希发基思
110人在读
10.3万字总字数
¥50.32定价
[法]约瑟夫·希发基思
本书提出了一种基于形式化模型的严密的系统设计方法，详细阐述了严密系统设计方法的基本原理，介绍了严密系统设计框架BIP（Behavior, Interaction, Priority）的建模语言、形式语义及其工具链。自主系统作为人工智能技术应用落地的重要形态，讨论了自主系统设计的趋势和挑战，阐述了一种集成模型驱动方法与数据驱动方法的思路，并提出了一种新的基于替换测试的智能测试方法，用以判断自主系统在完成多种不同类型任务方面的智能水平。
对传统软件开发有了更加深刻的理解
本书并没有全部回答其本书提出的问题，而是草草收尾。所提出的构造即正确的方法实际也只是老调重谈，文章只是给出一系列对设计的展望而不去回答。 没有回答如何完成自上而下的设计问题，只是老调的功能分解。 本来看到前面几章还想有所收获，没想到这样子虎头蛇尾