开放课题-高可信软件技术教育部重点实验室(北京大学)

关于

开放与交流

首页 >> 开放与交流 >> 开放课题

2019

序号	课题编号	课题名称	计划周期	经费（万元）	负责人	单位
1	HCST201901	基于静态轨迹预测的并发程序错误调试技术	2019.06-2020.12	6	薛建新	上海第二工业大学

2018

序号	课题编号	课题名称	计划周期	经费（万元）	负责人	单位
1	HCST201801	基于群体协同的网构化软件模型可用性分析与测试	2018.06-2019.06	13	王新宇	浙江大学
2	HCST201802	基于开源生态的网构化软件发展计划	2018.03-2019.03	6	李重	北京工业大学

2017

序号	课题编号	课题名称	计划周期	经费（万元）	负责人	单位
1	HCST201701	面向社交媒体的群体情感发现与理解	2017.01-2018.12	5	李斌阳	国际关系学院
2	HCST201702	社会调查相关的数据挖掘技术研究	2017.01-2018.12	5	李顺	国际关系学院

2016

序号	课题编号	课题名称	计划周期	经费（万元）	负责人	单位
1	HCST201601	Bigraph反应系统中的类型表述研究	2016.01-2017.12	4	吴怀广	郑州轻工业学院

2015

序号	课题编号	课题名称	计划周期	经费（万元）	负责人	单位
1	HCST201501	基于开源社区的需求抽取	2015.01-2016.12	7	王新宇	浙江大学

2014

序号	课题编号	课题名称	计划周期	经费（万元）	负责人	单位
1	HCST201401	面向云计算资源管理的运行时模型支撑机制研究	2014.01--2015.12	4	陈星	福州大学

2013

序号	课题编号	课题名	计划周期	经费（万元）	负责人	单位
1	HCST201301	信息物理融合系统中的软件需求建模与分析	2013.01--2014.12	4	刘春	河南大学
2	HCST201302	描述逻辑框架中的推理机制及本体融合	2013.01-2014.12	4	王驹	广西师范大学
3	HCST201303	可信的模型转换技术研究	2013.01-2014.12	4	何啸	北京科技大学

2012

序号

课题编号

课题名

计划周期

经费

（万元）

负责人

单位

1

HCST201201

文法演化及其表示方法的研究

2012.01--2013.12

4

何锫

长沙理工大学

2

HCST201202

感知情境的智能终端智能优化技术研究

2012.01-2013.12

4

赵霞

北京工商大学

2011

序号	课题编号	课题名	计划周期	经费（万元）	负责人	单位
1	HCST201101	软件体系结构分析方法集成技术	2011.01--2012.12	4	陈湘萍	中山大学
2	HCST201102	软件时间性需求建模方法	2011.01--2012.12	4	陈小红	华东师范大学
3	HCST201103	对象存储系统主动性研究	2011.01--2012.12	4	何水兵	武汉大学
4	HCST201104	面向问题的需求工程知识建模与应用研究	2011.01-2012.12	4	李智	广西师范大学

2010

序号	课题编号	课题名	计划周期	经费（万元）	负责人	单位
1	HCST201001	软件运维服务管理过程的研究	2010.01--2011.12	4	沈备军	上海交通大学
2	HCST201002	基于环境本体的语义层次软件需求不一致	2011.01--2012.12	4	朱学峰	中国石油大学
3	HCST201003	面向实时和嵌入式系统MDE模型一致性研究	2011.01--2012.12	4	张天	南京大学
4	HCST201004	网构软件访问控制子系统的可信演化技术研究	2011.01--2012.12	4	孙连山	陕西科技大学

2009

序号	课题编号	课题名称	计划周期	经费（万元）	负责人	单位
1	HCST200901	软件需求变更的实证研究	2009.01--2010.12	5	张洪宇	清华大学
2	HCST200902	软件重构关键技术研究	2009.01--2010.12	4	刘辉	北京理工大学
3	HCST200903	基于合约的定制构件的测试方法研究	2009.01--2010.12	4	姜瑛	昆明理工大学