嚴密系統設計：方法、趨勢與挑戰
[法]約瑟夫·希發基思
110人在讀
10.3萬字總字數
¥50.32定價
[法]約瑟夫·希發基思
本書提出了一種基於形式化模型的嚴密的系統設計方法，詳細闡述了嚴密系統設計方法的基本原理，介紹了嚴密系統設計框架BIP（Behavior, Interaction, Priority）的建模語言、形式語義及其工具鏈。自主系統作爲人工智能技術應用落地的重要形態，討論了自主系統設計的趨勢和挑戰，闡述了一種集成模型驅動方法與數據驅動方法的思路，並提出了一種新的基於替換測試的智能測試方法，用以判斷自主系統在完成多種不同類型任務方面的智能水平。
對傳統軟件開發有了更加深刻的理解
本書並沒有全部回答其本書提出的問題，而是草草收尾。所提出的構造即正確的方法實際也只是老調重談，文章只是給出一系列對設計的展望而不去回答。 沒有回答如何完成自上而下的設計問題，只是老調的功能分解。 本來看到前面幾章還想有所收穫，沒想到這樣子虎頭蛇尾