單項(xiàng)選擇題對動態(tài)軟件體系結(jié)構(gòu)的形式化描述通?？梢圆捎玫姆椒?？（）

A.圖形化方法
B.代數(shù)進(jìn)程方法
C.邏輯方法
D.以上皆是


您可能感興趣的試卷

你可能感興趣的試題

1.單項(xiàng)選擇題下列選項(xiàng)中關(guān)于ADL與其他語言的比較說法中錯誤的是（）。

A.ADL與需求語言的區(qū)別在于后者描述的問題空哦關(guān)鍵，而前者則扎根于解空間中
B.ADL與建模語言的區(qū)別在于后者對部分的關(guān)注要大于對整體的關(guān)注
C.ADL與傳統(tǒng)的程序設(shè)計(jì)語言的構(gòu)成元素由許多相同和相似之處，有各自有著很大的不同
D.ADL集中在構(gòu)件的表示上

2.單項(xiàng)選擇題Unicon提供了一組預(yù)先定義的構(gòu)件和連接件類型，體系結(jié)構(gòu)的開發(fā)者可以從中選擇合適的構(gòu)件或連接件，這是為了達(dá)到（）。

A.提供對大量構(gòu)件和連接件的統(tǒng)一訪問
B.區(qū)分不同類型的構(gòu)件和連接件，以便對體系結(jié)構(gòu)配置進(jìn)行檢查
C.支持不同表達(dá)方式和不同開發(fā)人員的分析工具
D.支持現(xiàn)有構(gòu)件的使用