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

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


您可能感興趣的試卷

你可能感興趣的試題

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

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

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

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

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

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

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

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

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

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