三種形式化語言和方法

VDM --VDM是在1969年爲開發PL/1語言時，由IBM公司維也納實驗室的研究小組提出的，VDM是一種功能 構造性規格說明技術，它經過一階謂詞邏輯和已創建的抽象數據類型來描述每一個運算或函數的功能，這 種方法在90年代初在歐美許多研究機構或大學獲得了普遍的應用。 VDM技術的基本思想是運用抽象數據 類型、數學概念和符號來規定運算或函數的功能，並且這種規定的過程是結構化的，其目的是要在系統 實

>>阅读原文<<