A.使用OCL在類上或者在類模型的類型上定義不變量
B.使用OCL對(duì)構(gòu)造型定義類型不變量
C.將OCL作為一種查詢語(yǔ)言
D.使用OCL描述操作和方法的前置和后置條件
您可能感興趣的試卷
你可能感興趣的試題
A、修改錯(cuò)誤時(shí)
B、復(fù)審程序代碼時(shí)
C、添加功能時(shí)
D、需求分析時(shí)
A、對(duì)唯一實(shí)例提供受控訪問
B、縮小名稱空間
C、允許對(duì)操作和表示進(jìn)行精化操作
D、運(yùn)行可變數(shù)目的類實(shí)例數(shù)
A、測(cè)試模式
B、面向軟件實(shí)現(xiàn)的設(shè)計(jì)模式
C、軟件子系統(tǒng)或構(gòu)件設(shè)計(jì)模式
D、體系結(jié)構(gòu)設(shè)計(jì)模式
A、最少知識(shí)原則
B、依賴倒轉(zhuǎn)原則
C、接口隔離原則
D、無(wú)循環(huán)依賴原則(包圖)
A、行為視圖
B、結(jié)構(gòu)視圖
C、構(gòu)件視圖
D、用例視圖
最新試題
下面關(guān)于java中包的說(shuō)法錯(cuò)誤的是()。
分析下列方法,在調(diào)用div(1,0)和div(1,1)后分別反回什么?()
在linux文件系統(tǒng)權(quán)限中(rwx),只讀權(quán)限對(duì)應(yīng)的數(shù)值為()。
下列代碼的結(jié)果是()。
寬依賴的算子有()。
MapReduce編程模型中以下組件哪個(gè)是最后執(zhí)行的?()
在DOS中一個(gè)java類的編譯命令是()。
ArrayLists和LinkedList的區(qū)別,下述說(shuō)法正確的有()。
配置機(jī)架感知的下面哪項(xiàng)正確()。
scala的函數(shù)參數(shù)的求值策略有哪些。()