会议手册-全国软件与应用学术会议NASAC2016-云南大学.DOCVIP

第十五届 全国软件与应用学术会议 NASAC 2016SATE 2016 会议手册 2016年11月-5日，中国 会 议 须 知 1．请与会嘉宾佩戴参会证出入会场和住地。会议期间，请自觉关闭通讯工具。 2．会议地点设在大酒店()，请与会嘉宾遵守会议作息时间，提前5分钟进入会场。 3．与会嘉宾住宿费按会议协商价由宾馆直接收费并开发票。注册费由收取并开具正规发票，请与注册组工作人员联系。 4．Poster（张贴论文）在酒店指定地点展示。 5．个人信息以报到时填写为准，如有变更，请及时与注册组工作人员联系。 /s/1jILjrD0，提前密码：v5cj 7．就餐安排： 早餐：凭酒店发放的餐券在住宿酒店就餐。 自助午餐晚餐：凭会务组发的餐劵就餐。 11月日晚宴凭嘉宾证、参会证就餐 8．会务组联系方式： 飞 注册、财务、发票等事宜） 张 璇 会议） 会议） 第十五届全国软件与应用学术会议（NASAC 2016） 组织机构名单 2 第十五届全国软件与应用学术会议（NASAC 2016） 4 NASAC 2016 会议日程总览 4 第六届全国软件分析测试研讨会 SATE 2016 6 NASAC 2016特邀报告 8 NASAC 2016青年学者报告 13 NASAC 2016优秀博士生论坛 15 NASAC 2016 大会日程 20 NASAC 2016软件演化与维护学组活动 20 NASAC 2016软件验证学组活动 21 NASAC 2016开幕式和特邀报告 24 软件学报专刊I（分布式云存储专刊） 25 NASAC 2016 Springer论文Session 1 25 NASAC 2016长文Session 2 26 NASAC 2016软件研究成果原型竞赛Workshop 26 NASAC 2016教育学组活动 27 NASAC 2016 Springer论文Session 3 28 NASAC 2016长文Session 4 28 软件学报专刊II（程序设计语言专刊） 29 NASAC 2016 Springer论文 Session 5 30 NASAC 2016长文Session 6 30 NASAC 2016优秀博士生论坛I II 31 软件学报专刊III（大数据时代软件工程专刊） 32 NASAC 2016长文Session 7 33 NASAC 2016青年学者报告 33 NASAC 2016闭幕式及系统软件专委会年会 34 第十五届全国软件与应用学术会议（NASAC 2016） 组织机构名单 执行委员会（排名不分先后，按拼音顺序） 主 席： 梅宏 吕建 委 员： 黄 涛 黄志球 金 芝 李宣东 刘 超 齐 勇 孙毓忠 王怀民 王 戟 赵大哲 赵建军 赵文耘 大会主席 金 芝 李宣东 程序委员会（排名不分先后，按拼音顺序） 主席 李彤 副主席 王炜 委 员： 贲可荣 白晓颖 陈 胡海洋 黄林鹏 黄 松 江 贺 李 兵 李必信 梁 彬 刘方明 刘 烃 刘 进 刘 剑 刘 璘 梁 鹏 李 智 李 征 毛晓光 廖小飞 毛新军 马晓星 聂长海 彭 蓉 彭 鑫 戚正伟 孙艳春 沈 立 孙宇清 孙毓忠 陶先平 吴 际 王 峰 王千祥 王 勇 王曙燕 王忠杰 许 畅 许 蕾 肖利民 夏云霓 杨 波 杨启亮 应 时 张广泉 张广艳 张 莉 周明辉 朱巧明 张 涛 张 璇 张 昱 周 宇 组织委员会 主 席： 代飞 委 员： 陶先平 王千祥 郁 湧 张 璇 赵 娜 刘金卓 第十届全国软件与应用学术会议（NASAC 201） 201年11月日-日 NASAC 2016 会议日程总览 日期 时间 活 动 11.2-11.4 注册（酒店大堂） 11.3 SATE会议（七彩厅）（8:30-10:30） 需求工程学组（辉煌厅）（9:00-10:30） 10:30-10:40 茶歇 10:40-12:00 SATE会议（七彩厅）（10:40-12:00） 需求工程学组（辉煌厅）（10:40-12:00） 12:00-13:00 自助午餐（豪生宴会厅+卓越厅） SATE会议（七彩厅）（14:00-15:30） 需求工程学组（辉煌厅）（14:00-15:30） 软件演化与维护学组（成功厅）（13:45-15:30） 软件验证学组（卓越厅）（14:00-15:30） 15:30-16:30 茶歇 SATE会议（七彩厅）（16:30-18:00）