形式化规格说明语言有多个流派。利用前置条件与后置条件描述程序行为的是...-环球网校

单选题

形式化规格说明语言有多个流派。利用前置条件与后置条件描述程序行为的是（）。

A

代数规格说明

B

基于集合论的Z语言

C

进程描述语言（CSP）

D

公理方法

查看答案

答案

正确答案:D

解析

公理方法利用前置条件与后置条件描述程序行为，代表人物有Hoare和Dijkstra。

【考点来源】2.6.4形式化语言

历年真题

资料下载

更多试题 >

更多资料 >

登录｜注册｜回到顶部

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