基于C++STL技术实现Z模式自动求精的研究

作者：文欣

来源：数字通信世界, 2019, (01): 106-107.

• C++STL
• Z规格说明
• 模式

Z是以一阶谓词和集合论为基础的一种形式化规格说明语言,目前主要应用在软件需求阶段及测试阶段。基于C++STL技术实现Z模式向C++语言的自动求精达到程序的自动化将极大提高软件的开发效率。

• 单位
  厦门工学院