QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 限定条件 内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 《软件工程》课程管理平台的设计与实现 会议论文 第21届全国计算机新科技与计算机教育学术大会, 2010-07-31 作者:  LIU Yue[1];  刘悦[2];  HE Chengyun[3];  何成云[4];  ZENG Hongwei[5] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/30 高等院校  《软件工程》课程  管理平台  系统设计   优化基于模型检验的测试生成 会议论文 第六届中国测试学术会议, 2010-07-24 作者:  曾红卫[1];  缪淮扣[2] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/30 模型检验  测试用例生成  时态逻辑公式重写  测试包缩减   基于模型检验的构件数据流测试 会议论文 2009中国计算机大会, 2009-10-23 作者:  曾红卫[1];  缪淮扣[2] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/30 数据流测试  模型检验  陷阱性质  构件状态机  覆盖准则   "软件工程"教学中的"四化"建设 会议论文 2007年全国高校软件工程专业教育年会论文汇编全国高校软件工程专业教育年会组委会 作者:  刘悦[1];  曾红卫[2];  袁世忠[3] 收藏  |  浏览/下载：1/0  |  提交时间：2019/05/10 软件工程 教学内容 教学方法   quot;软件工程quot;教学中的quot;四化quot;建设 会议论文 2007年全国高校软件工程专业教育年会, 2007-09-14 作者:  刘悦[1];  曾红卫[2];  袁世忠[3] 收藏  |  浏览/下载：1/0  |  提交时间：2019/05/10 软件工程  教学内容  教学方法   GBPEL:一种合成网格服务和Web服务的工作流语言 会议论文 2005年全国开放式分布与并行计算学术会议, 2005-10-27 作者:  曾红卫[1];  李奇[2];  缪淮扣[3] 收藏  |  浏览/下载：1/0  |  提交时间：2019/05/10 BPEL4WS  GBPEL  网格工作流