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

相关作者

缪淮扣
作品数：154被引量：505H指数：11
供职机构：上海大学计算机工程与科学学院
研究主题：测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
刘玲
作品数：25被引量：95H指数：6
供职机构：上海大学计算中心
研究主题：软件测试 测试用例 Z规格说明 测试用例生成 形式化规格说明
胡芸
作品数：4被引量：10H指数：1
供职机构：上海大学
研究主题：测试用例 形式化规格说明 自动生成方法 软件测试 测试用例自动生成
王皙
作品数：10被引量：15H指数：2
供职机构：上海大学
研究主题：状态图 有限状态机 WEB应用 可视化 WEB服务
马莉
作品数：84被引量：56H指数：5
供职机构：佛山科学技术学院
研究主题：虚拟机 物理磁盘 并行度 服务器 分布式网络