Event-B 形式化方法

Event-B 形式化軟件開發方法   一、概念 Event-b 是一種基於傳統的謂詞演算和定理證明的形式化語言。 Event-b 新的特徵是它引入了事件（Event）。事件是event-b的一個重要特徵，因此它非常適合用來爲週期行爲建模。除此之外，Event-b支持逐步精化地建立系統模型。   二、使用形式化方法開發軟件的過程（理想情況） 形式化方法是一種開發途徑，工程師可以按這種途徑把軟件需求

>>阅读原文<<