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