摘要: 软件规格说明的确认在软件开发阶段占有举足轻重的地位。形式规格说明的动画模拟技术是一种规格说明的确认方法。本文研究了Obiect-Z规格说明的SQL动画模拟方法,设计了从Object-Z到SQL的转换规则,并提出了模块封装的思想,即用存储过程表示类、对象和模式等模块,用户通过调用执行存储过程确认规格说明是否满足其需求。
周静 缪淮扣. Object—Z规格说明的SQL动画模拟[J]. 计算机科学, 2007, 34(4): 258-260. https://doi.org/
ZHOU Jing ,MIAO Huai-Kou (College of Computer Engineering and Science, Shanghai University, Shanghai 200072). [J]. Computer Science, 2007, 34(4): 258-260. https://doi.org/