集合论算子相关硕士博士期刊学术论文 - 搜论网

集合论算子相关论文

Z规格说明中集合论算子向C++转换的实现

采用自然语言描述的非形式的规格说明通常具有模糊性和歧义性,为了克服自然语言描述规格说明的缺陷,人们提出了形式化方法.Z是目前......

会议

形式规格说明语言集合论算子自动转换语言描述形式化方法数据类型程序语言编译环境歧义性模糊性应用思想缺陷工业程度操作

Z规格说明中集合论算子的自动求精研究及实现

采用自然语言描述的非形式的规格说明通常具有模糊性和歧义性,这往往不利于软件质量和生产率的提高。为了克服自然语言描述规格说......

学位

Z规格说明 STL 集合论算子自动求精 ZTOC自动求精器

看过本文同时还关注