集合论算子论文

Z规格说明中集合论算子的自动求精研究及实现
论文摘要采用自然语言描述的非形式的规格说明通常具有模糊性和歧义性,这往往不利于软件质量和生产率的提高。为了克服自然语言描述规格说明的缺陷,人们提出了形式化方法。Z是目前最为流行...