多項(xiàng)選擇題對(duì)與OCL,說(shuō)法正確的是()

A、使用OCL在模型的方法上定義不變量
B、將OCL作為一種查詢語(yǔ)言
C、使用OCL對(duì)構(gòu)造型(Stereotypes)定義前置和后置條件
D、使用OCL描述類型的前置和后置條件


您可能感興趣的試卷

你可能感興趣的試題