AADL model

所屬欄目:英漢云計算·物聯(lián)網(wǎng)·大數(shù)據(jù)

一種建模的模型,在體系結(jié)構(gòu)分析設計語言模型中軟件系統(tǒng)的狀態(tài)通過構(gòu)件的“模式”表現(xiàn)。通過一個可擴展的符號、一個工具框架和精確定義的語義,支持對系統(tǒng)的結(jié)構(gòu)進行論證。 ......(本文共 88 字 )     [閱讀本文] >>


推薦內(nèi)容


翻譯