作者：张健 ; 张超 ; 玄跻峰 ; 熊英飞 ; 王千祥 ; 梁彬 ; 李炼 ; 窦文生 ; 陈振邦 ; 陈立前 ; 蔡彦

关键词：程序分析 ; 软件质量保障 ; 静态分析 ; 动态分析

年：2019

作者：王戟 ; 詹乃军 ; 冯新宇 ; 刘志明

关键词：形式化方法 ; 形式规约 ; 形式验证 ; 程序设计方法学 ; 软件开发

年：2019

作者：钱鹏程 ; 黄玮

关键词：大型仪器 ; 设备共享

年：2019

作者：姜加红 ; 尹帮虎 ; 陈立前

关键词：抽象解释 ; 区间线性模版约束 ; 区间线性规划 ; 程序静态分析 ; 非凸性质

年：2018

作者：刘万伟 ; 李暾 ; 尹良泽 ; 陈立前

关键词：面向对象程序设计 ; 课程设计 ; 任务驱动

年：2018

作者：周芳文 ; 杨越

关键词：ERP沙盘教学 ; 教学改革

年：2019

作者：翟志明 ; 许博

关键词：BOPPPS模型 ; 组训过程 ; 网络训练 ; 专业教员 ; 训练员

年：2019

作者：赵捷 ; 李颖颖 ; 赵荣彩

关键词：多面体模型 ; 并行性 ; 局部性 ; 依赖 ; 调度 ; 代码生成 ; 循环分块 ; 数组压缩

年：2018

作者：潘建东 ; 陈立前 ; 黄达明 ; 孙浩 ; 曾庆凯

关键词：抽象解释 ; 抽象域 ; 不变式 ; 析取语义 ; 循环分解

年：2016

作者：丁泽文 ; 郭鸿昌 ; 阚双龙 ; 张弛

关键词：抽象解释 ; 八边形抽象域 ; 两区间 ; 迁移函数

年：2017