Object-Z规格说明的SQL动画模拟

周静; 缪淮扣

首页> 中文期刊>计算机科学 >Object-Z规格说明的SQL动画模拟

Object-Z规格说明的SQL动画模拟

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

软件规格说明的确认在软件开发阶段占有举足轻重的地位.形式规格说明的动画模拟技术是一种规格说明的确认方法.本文研究了Object-Z规格说明的SQL动画模拟方法,设计了从Object-Z到SQL的转换规则,并提出了模块封装的思想,即用存储过程表示类、对象和模式等模块,用户通过调用执行存储过程确认规格说明是否满足其需求.

著录项

来源
《计算机科学》|2007年第4期|258-260,封4|共4页
作者
周静; 缪淮扣;
展开▼
作者单位

上海大学计算机工程与科学学院,上海200072;

上海大学计算机工程与科学学院,上海200072;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
Object-Z; 规格说明; 确认; SQL; 动画模拟;
入库时间 2023-07-24 19:22:43

相似文献

中文文献
外文文献
专利

1. DTL-Real-Time Object-Z形式化规格说明语言及其责任授权模型描述 [J] . 马莉 ,钟勇 ,霍颖瑜 . 计算机科学 . 2014,第004期
2. Object-Z规格说明测试用例的自动生成器 [J] . 许庆国 ,缪淮扣 ,曹晓夏 . 软件学报 . 2011,第006期
3. 一个Object-Z规格说明的证明责任产生器 [J] . 文志诚 ,贾峰 ,胡纯蓉 . 计算机应用与软件 . 2010,第005期
4. 一种基于Object-Z规格说明的集成测试用例生成方法 [J] . 朱义毅 ,缪淮扣 ,唐新香 . 上海大学学报（自然科学版） . 2009,第001期
5. 产生证明责任验证Object-Z规格说明的行为子类型继承 [J] . 文志诚 ,李长云 ,满君丰 . 小型微型计算机系统 . 2009,第006期
6. Transwarp StreamSQL:A SQL/PLSQL Stream engine on Spark [C] . 季钱飞 . 2016第七届中国数据库技术大会 . 2016
7. 基于切片的Object-Z规格说明的SQL动画模拟技术 [A] . 周静 . 2007

Object-Z规格说明的SQL动画模拟

摘要

著录项

相似文献

相关主题

期刊订阅