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...
主要研究方向为人机交互理论、用户为中心的界面建模方法与过程、用户界面软件工具环境。多年来,曾主持多项国家级项目和一批省部级项目,在国内外发表论文百余篇。董云卫,西北工业大...
内容提示:第38卷2011年8月第8期计算机科学ComputerScienceVo1.38No..8Aug2011基于SystemC的AADL软构件代码转换技术马春...
百度学术搜索,是一个提供海量中英文文献检索的学术资源搜索平台,涵盖了各类学术期刊、学位、会议论文,旨在为国内外学者提供最好的科研体验。
中国博士学位论文全文数据库前5条1李笕列;流程企业模型与数据管理研究[D];浙江大学;2009年2董朝阳;网络化制造资源优化配置研究[D];西北工业大学;2006年3徐峰;建筑施...
(论文)一种改进的基于架构的软件可靠性模型下载积分:1500内容提示:602009,45(33)ComputerEngineeringandApplic~ions计算机工程与应用一种改进的...
1.丁柯;金蓓弘;冯玉琳事务工作流的建模和分析[期刊论文]-计算机学报2003(10)2.许红;王茜基于WebService的工作流管理系统的研究与实现[期刊论文]-计算机应用与软件2006(04...
通过对当前主流AOP工具的研究,本论文实现了一个基于.NET平台的AOP框架——AOP.NET。该框架是使用面向方面技术设计和实现的。它采用动态代理技术,利用自定义属性来完成切入点(...
中国重要会议论文全文数据库前4条1刘克;穆丽颖;黎建强;;信用评估:确定贷款发放的一种方法[A];第三届不确定系统年会论文集[C];2005年2赵新欣;赵振全;;上市公司信用评估...