搜索到 篇“ 形式化规格说明 “的相关文章

相关作者

缪淮扣
作品数：154被引量：504H指数：11
供职机构：上海大学计算机工程与科学学院
研究主题：测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
刘玲
作品数：25被引量：95H指数：6
供职机构：上海大学计算中心
研究主题：软件测试 测试用例 Z规格说明 测试用例生成 形式化规格说明
胡芸
作品数：4被引量：10H指数：1
供职机构：上海大学
研究主题：测试用例 形式化规格说明 自动生成方法 软件测试 测试用例自动生成
马莉
作品数：84被引量：55H指数：5
供职机构：佛山科学技术学院
研究主题：虚拟机 物理磁盘 并行度 服务器 分布式网络
袁晓东
作品数：14被引量：62H指数：5
供职机构：南京大学计算机科学与技术系
研究主题：面向对象 程序设计 Z COOZ Z语言