2. 您的位置
3. 首页
4. 期刊论文
5. 研发大数据支撑的软件分析测试新技术 提升复杂软件系统质量 ——上海交通大学副教授陈雨亭博士

研发大数据支撑的软件分析测试新技术 提升复杂软件系统质量 ——上海交通大学副教授陈雨亭博士

来源 :科技成果管理与研究 | 被引量 : 0次 | 上传用户：william1212

【摘 要】

：

陈雨亭,博士,上海交通大学计算机科学与工程系副教授、博士生导师.在日本法政大学获得博士学位.主要研究方向是程序分析与安全测试、数据驱动软件开发、形式化方法等,近年来

【作 者】

：

高强 

【出 处】

：

科技成果管理与研究

【发表日期】

：

2019年4期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

陈雨亭,博士,上海交通大学计算机科学与工程系副教授、博士生导师.在日本法政大学获得博士学位.主要研究方向是程序分析与安全测试、数据驱动软件开发、形式化方法等,近年来主持或参与国家自然科学基金、国家973计划、国家重点研发计划、国家863计划等科研项目多项.在重要的国际会议与期刊上(包括PLDI、FSE、ASE、TSE等)发表论文多篇.获得2018年度CCF NASAC-东软青年软件创新奖.

其他文献

让幼儿感受音乐活动的快乐

摘要：《纲要》指出：“艺术是实施美育的主要途径，应充分发挥艺术的情感教育功能，促进幼儿健全人格的形成”。 音乐教育是艺术领域的内容之一，她对孩子情感的陶冶、智力的开发、个性的张扬以及创新能力的培养，有着不可低估的作用。在音乐教育活动过程中，应精心设计教学思路，使幼儿在音乐活动中感受快乐，在“乐”中学，在学中“乐”， 激发幼儿对音乐的兴趣，充分发挥音乐艺术特有的教育功能，促进幼儿身心的全面和谐发展。

期刊

幼儿音乐兴趣快乐

手术治疗Lisfranc损伤的疗效观察

目的：观察手术治疗 Lisfranc 损伤的疗效。方法选择2012年5月至2015年5月36例 Lisfranc 损伤患者，采用螺钉或克氏针内固定。结果平均随访18个月，根据美国足踝外科协会评分标准进

期刊

Lisfranc损伤手术治疗疗效

深水双船拖曳式海洋电磁勘探系统研发

“深水双船拖曳式海洋电磁勘探系统研发”项目(2016YFC0303100)为国家重点研发计划“深海关键技术与装备”项目的二级项目,由广州海洋地质调查局承担,教授级高工余平负责,参

期刊

紧跟时代步伐创建特色学校前进中的个旧市鸡街小学

期刊

时代步伐特色学校个旧市

浅谈艺术语言规范化问题

我们的文化艺术界,很多歌唱演员她们的演唱水平非常高,音律优美、行腔华丽、确实给人们带来了无限的艺术享受,可人们每每在充分享受、熏陶在美感的优美音乐声中时,却不时地从

期刊

艺术语言歌唱演员字音优美艺术艺术享受平翘舌音艺术界魏良辅音律音乐协调文化位置明代美感口腔滑落华丽

个旧市鸡街小学教学·活动剪影

期刊

个旧市小学教学活动

流行音乐进课堂的必要性和方法探索

“本文为河南省教育科学规划“十二五”规划课题：中学生音乐教学现状与豫剧及流行音乐进课堂的研究 课题编号 [2015]-JKGHYB-0210”　　【中图分类号】J605　　在中小学音乐教学中，歌唱、器乐、律动、欣赏、创作等形式，都充分体现了鲜明的创新意识和独特的创造行为。但不少学生对音乐课都不太感兴趣，原因是音乐教材里的音乐多是古典高雅的，当代音乐内容少，禁锢了学生们活跃的思维。学生绝大多数都喜欢

期刊

流行音乐进课堂学生中小学音乐教学音乐内容音乐教材思维流行歌曲创造行为创新意识音乐课兴趣欣赏器乐媒体活动歌唱创作

拓展活动在初中体育教学中的作用研究

摘要：近些年来，拓展训练这种培训模式备受各大企业公司推崇，它属于体验式培训，通过拓展训练，让其员工学习到与在企业中无法学到的东西，如团队精神，合作精神，灵活度等等。因为拓展训练越来越受到关注和认可，一些学者将其与体育运动结合在一起进行思考探索。本文就是将拓展活动在初中体育教学中的作用进行研究，探索拓展活动在初中体育教学中的重要意义。　　关键词：拓展训练；拓展活动；初中体育；教学；作用；研究　　【中

期刊

拓展训练拓展活动初中体育教学作用研究

初中体育课堂教学的有效性

[摘要]文章通过对课堂教学有效性概念的阐述，以及对提高课堂有效性的分析，提出了一些建议和体会。　　[关键词] 初中体育 有效性 兴趣 教育内容 教育方法　　【中图分类号】G633.96　　《中共中央国务院关于加强青少年体育、增强青少年体质健康的意见》强调：“中小学要认真执行国家课程标准，保质保量上好体育课，其中小学13年级每周4课时，小学3～6年级和初中每周3课时，高中每周两课时。”体育课在国家课

期刊

初中体育有效性兴趣教育内容教育方法

大鼠实验性肝硬变腹水形成与TNFα的关系

目的研究大鼠实验性肝硬变晚期腹水形成与ＴＮＦα及肠源性内毒素血症的关系，探讨肝硬变腹水形成的机制．方法以大鼠为实验对象，分为正常对照组（ｎ＝８）、肝硬变对照组（ｎ＝１２）和肝硬变伴腹水组（ｎ＝１８）．实验组采

期刊

大鼠实验性