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

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