進一步認識AsmL

AsmL聽起來至關的神奇,尤爲是它所創建的模型能夠做爲這些模型所描述的系統的模擬程序來運行這一特性,不但可以幫助咱們在着手實現以前檢查咱們的設計的完備性,並且還可以幫助咱們在實現過程當中檢查設計的合理性以及實現的正確性。這不正是咱們想要得嗎?還等什麼?當即down一份來試試吧!(注:若是您還不知道什麼是AsmL,不要緊,您能夠參考個人另外一篇文章《AsmL: 可執行的軟件規格》)<?xml:nam
相關文章
相關標籤/搜索