下列属于面向对象的形式化方法的是（）。-环球网校

单选题

下列属于面向对象的形式化方法的是（）。

A

OBJ3

B

CCS

C

TRIO

D

Z语言

查看答案

答案

正确答案:D

解析

【考查知识点】形式化方法的分类

【选项分析】

A：错误，OBJ3是面向属性的形式化方法

B：错误，CCS是基于并发性的形式化方法

C：错误，TRIO是基于实时性的形式化方法

D：正确，Z语言是面向对象的形式化方法

【教材依据】一是面向对象的形式化方法，通过定义状态和操作进行建模，如Z语言、VDM、B、0bject-Z等方法。

历年真题

资料下载

更多试题 >

更多资料 >

登录｜注册｜回到顶部

版权所有©环球网校All Rights Reserved