开放与交流

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

姜瑛

昆明理工大学