发表服务
2016年10月19日下午2:30，受我院普适计算研究团队负责人王小明教授邀请，西北大学华庆一教授和西北工业大学董云卫教授前来我院学术交流。此次报告会分为两部分：华庆一教授做题为《浅谈国家基金评审与申请书撰写》的讲座、董云卫教授做《AADL安全性建模和定量分析方法》的讲座。
摘要：.在面向服务软件的测试过程中,由于在服务发现之前不可知的交互对象和同一个服务可能会有不同实现,往往出现程序执行结果不能提前预知的Oracle问题.为了有效地解决面向服务软件测试中的Oracle问题,基于面向服务架构(SOA)的特点,提出将蜕变测试方法用于...
河南郑州。熟鸡蛋返生后孵出小鸡？郑州市春霖职业学校校长郭萍发表的论文持续引发关注…显示全部关注者1,460被浏览936,985关注问题写回答邀请回答好问题26384条评论分享最新进展·职校校长发布「熟蛋返生孵雏鸡」论文...
高可信嵌入式软件工程技术论坛NASAC/FMAC嵌入式软件在航天、航空、轨交、汽车、核能等领域广泛应用，是重大装备关键功能的主要实现载体。随着“软件定义装备”特征的不断深化，国家重大工程对可信嵌入式软件的需求更加突出。同时，针对嵌入式软件的软件工程和形式化方法研究也一直...
524名医生论文造假名单曝光有你跪求过的名医吗？.原标题：107篇中国医学论文齐被撤，杂志回应澎湃：涉伪造同行评议.当地时间4月20日，世界最大学术出版机构之一的施普林格（Springer）出版社发表撤稿声明，旗下期刊《生物学（TumorBiology）》宣布撤回...
董云卫工学博士，西北工业大学计算机学院教授，IEEE可靠性协会西安分会主席。...论文“网络环境下中美研究生互助交流对中国研究生英语写作能力影响的实证研究”在2012年陕西省研究生教学研讨会上获一等…
发表SCI/EI检索论文70余篇，撰写和合作撰写专著2部。获得电工技术协会科学技术二等奖1项，北京市教育成果二等奖1项。目前为IEEEPES会员，JournalofModernPowerSystemsandCleanEnergy（MPCE）AssociateEditor目前研究方向包括（1）电力...
各学院、项目负责人：一、结题项目有关要求2008年度资助的航空科学基金项目结题时间已到，请项目负责人按要求填报工作总结和技术总结等并按规定办理归档手续后于2010年11月25日前将工作总结和技术总结等材料一式两份及系统（3...
2016年10月19日下午2:30，受我院普适计算研究团队负责人王小明教授邀请，西北大学华庆一教授和西北工业大学董云卫教授前来我院学术交流。此次报告会分为两部分：华庆一教授做题为《浅谈国家基金评审与申请书撰写》的讲座、董云卫教授做《AADL安全性建模和定量分析方法》的讲座。
摘要：.在面向服务软件的测试过程中,由于在服务发现之前不可知的交互对象和同一个服务可能会有不同实现,往往出现程序执行结果不能提前预知的Oracle问题.为了有效地解决面向服务软件测试中的Oracle问题,基于面向服务架构(SOA)的特点,提出将蜕变测试方法用于...
河南郑州。熟鸡蛋返生后孵出小鸡？郑州市春霖职业学校校长郭萍发表的论文持续引发关注…显示全部关注者1,460被浏览936,985关注问题写回答邀请回答好问题26384条评论分享最新进展·职校校长发布「熟蛋返生孵雏鸡」论文...
高可信嵌入式软件工程技术论坛NASAC/FMAC嵌入式软件在航天、航空、轨交、汽车、核能等领域广泛应用，是重大装备关键功能的主要实现载体。随着“软件定义装备”特征的不断深化，国家重大工程对可信嵌入式软件的需求更加突出。同时，针对嵌入式软件的软件工程和形式化方法研究也一直...
524名医生论文造假名单曝光有你跪求过的名医吗？.原标题：107篇中国医学论文齐被撤，杂志回应澎湃：涉伪造同行评议.当地时间4月20日，世界最大学术出版机构之一的施普林格（Springer）出版社发表撤稿声明，旗下期刊《生物学（TumorBiology）》宣布撤回...
董云卫工学博士，西北工业大学计算机学院教授，IEEE可靠性协会西安分会主席。...论文“网络环境下中美研究生互助交流对中国研究生英语写作能力影响的实证研究”在2012年陕西省研究生教学研讨会上获一等…
发表SCI/EI检索论文70余篇，撰写和合作撰写专著2部。获得电工技术协会科学技术二等奖1项，北京市教育成果二等奖1项。目前为IEEEPES会员，JournalofModernPowerSystemsandCleanEnergy（MPCE）AssociateEditor目前研究方向包括（1）电力...
各学院、项目负责人：一、结题项目有关要求2008年度资助的航空科学基金项目结题时间已到，请项目负责人按要求填报工作总结和技术总结等并按规定办理归档手续后于2010年11月25日前将工作总结和技术总结等材料一式两份及系统（3...
发表服务