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

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


您可能感興趣的試卷

你可能感興趣的試題

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

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

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

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

3.單項選擇題Rapide是一種可執(zhí)行ADL，其目的在于通過定義并模擬基于事件的行為對分布式并發(fā)系統(tǒng)建模。Rapide是由5種子語言構(gòu)成。以下選項中的語言均為Rapide語言的是（）

A.類型語言、模式語言、約束語言、可執(zhí)行語言
B.狀態(tài)語言、模式語言、約束語言、體系結(jié)構(gòu)語言
C.類型語言、結(jié)構(gòu)語言、約束語言、可執(zhí)行語言
D.狀態(tài)語言、結(jié)構(gòu)語言、約束語言、體系結(jié)構(gòu)語言

4.單項選擇題以下關(guān)于軟件體系結(jié)構(gòu)描述方法說法錯誤的是（）。

A.圖形表達工具在軟件設(shè)計中占據(jù)主導(dǎo)地位
B.由于軟件設(shè)計語言和模塊內(nèi)連接語言具有嚴格的語義基礎(chǔ)，因此它們能支持較小的軟件單元進行描述
C.基于軟構(gòu)件的系統(tǒng)描述語言將軟件系統(tǒng)描述成一種是由許多以特定形式相互作用的特殊軟件實體構(gòu)造組成的組織或系統(tǒng)
D.軟件體系結(jié)構(gòu)描述語言是參照傳統(tǒng)程序設(shè)計語言的設(shè)計語言的設(shè)計和開發(fā)經(jīng)驗，重新設(shè)計、開發(fā)和使用針對軟件體系結(jié)構(gòu)描述語言

5.單項選擇題以下不是正交軟件體系結(jié)構(gòu)優(yōu)點的是（）。

A.結(jié)構(gòu)清晰，易于理解
B.已修改，可維護性強
C.可移植性強，重用粒度大
D.很大很復(fù)雜