知識(shí)貝殼
知識(shí)貝殼
所屬欄目：英漢云計(jì)算·物聯(lián)網(wǎng)·大數(shù)據(jù)
一種建模的模型,在體系結(jié)構(gòu)分析設(shè)計(jì)語(yǔ)言模型中軟件系統(tǒng)的狀態(tài)通過(guò)構(gòu)件的“模式”表現(xiàn)。通過(guò)一個(gè)可擴(kuò)展的符號(hào)、一個(gè)工具框架和精確定義的語(yǔ)義,支持對(duì)系統(tǒng)的結(jié)構(gòu)進(jìn)行論證。 ......（本文共 88 字 ） [閱讀本文] >>