多模态学习情感计算：动因、框架与建议

智慧教育视域下的知识追踪:现状、框架及趋势

智能时代学习分析再认识及其发展路径

基于层次化修正框架的文本纠错模型

片段抽取型机器阅读理解算法研究

一种在线学习社区的学习者情感识别方法研究

情感计算教育应用的多维透视

国外情感分析教育应用的进展与启示

数字音频来源被动取证研究综述

基于混合式学习的同伴推荐算法设计与实现

基于短文本情感增强的在线学习者成绩预测方法

一种基于领域适配的跨项目软件缺陷预测方法

语义增强的在线学习行为预测研究

一种中文真词错误检测与修复方法

推进机器人教育:背景、定位及可能路径

ARPDF:基于对话流的学习者成绩等级预测算法

基于学习者求助行为的论坛回答者推荐研究

基于隐性行为的问题解决者推荐算法研究

一种基于HIN的学习资源推荐算法研究

数字音频篡改被动检测研究综述

基于个体学习者模型构建的学习效果评估研究

一种基于标签的层次Web服务聚类方法

基于CDIO的面向对象软件工程实践教学模式研究

基于线性拟合的学习者学习模式分析方法研究

一种基于活性顺序图的运行时验证研究

线下学习数据的分析方法研究

运行时验证中的减少监控开销方法研究

结合MOOC的混合式软件工程课程教学

基于活性顺序图的形式化验证方法及工具研究

基于时间属性序列图的监控器构造方法

基于分层程序频谱的软件故障定位方法研究

参数化运行时监控研究

MOOC背景下的高校教师角色转型

基于CDIO的“面向对象软件工程”教学模式研究

基于案例任务驱动的软件项目管理课程实践

一种源程序级软件验证方法研究

基于Android智能手机的彩色图像盲数字水印算法

一种基于污点数据传播和无干扰理论的软件行为可信性分析模型

一种自动机学习和符号化执行的软件自动测试方法

一种面向软件行为和多视点的需求模型验证方法

以培养创新型IT人才为目标的案例教学模式

一种调和序列生成及其在故障定位中的应用

基于PSO和朴素贝叶斯的软件缺陷预测模型

谈计算机科学与技术专业师范生人才培养

一种基于模型检验程序分析技术的前端工具研究

内存泄漏故障静态分析研究

“操作系统原理”理论与实践课教学研究

计算机专业师范生的“操作系统”课程教学

基于计算元的普适计算的系统结构框架研究

一种基于程序DD图的无约束边生成算法

“操作系统原理”精品课程建设中的若干问题探讨

“操作系统原理”理论与实践课教学研究

基于模型检验技术的源程序分析研究

软件体系结构测试研究与进展

基于程序静态分析和故障树的软件故障检测

运行时软件故障注入器的设计与实现

构件中非法除故障的容错性检测方法研究

基于构件组装的应用软件开发过程研究

基于QoS的组合服务优化选择问题建模与求解

基于求精的软件体系结构设计方法

具有抗几何攻击能力的盲数字图像水印算法

一种数值溢出故障判定准则研究

基于Web服务的大型电子商务系统设计研究

软件工程案例教学研究

软件工程理论、实验和综合实践教学环节的改革

数组越界的故障模型及其检测方法研究

一种基于软件体系结构配置的测试用例生成算法研究

普适计算的信任认证

基于c/s体系结构的钢铁生产企业管理信息系统

用遗传算法画无向图

软件连接件风格的研究

基于扩展CHAM模型的软件集成测试方法

基于DRTSADL的分布式实时系统建模

操作系统体系结构风格的比较研究

分布式实时系统体系结构描述语言的设计及其应用实例研究

基于短消息商业平台的应用

软件体系结构测试覆盖准则研究

DRTSADL可视化建模及其工具的设计与实现

最优化电路设计的仿真分析方法

一种面向对象类级状态测试的形式化方法研究

基于Turbo码的Max-Log-MAP译码算法的改进

TFSP:一种分布式实时系统的形式化描述工具

基于CHAM模型的LTS状态树生成算法

基于软件体系结构的测试及其工具研究

一种基于PSpice9.2的电子电路最优化设计的方法

复合Anytime算法的性能描述的生成

可视化软件体系结构描述语言IOSADL

软件体系结构风格的实例研究

计算机化正颌外科诊断分析和病历管理系统的建立及应用

基于语法知识增强的中文语法纠错

一种知识图谱增强的在线评测系统习题推荐算法研究

一种基于二分图故障检测模型的软件故障定位方法研究