软件技术原理
出自计算机科学国家重点实验室
| 研究方向 | |
|---|---|
| 并发和实时系统的理论与应用 | |
| 软件技术原理 | |
| 计算机图形学和人机交互理论与技术 | |
| 并行算法与并行软件 |
简介
研究软件开发与分析中的形式化理论、方法及质量保证技术。探索形式描述的新框架和获取方法，研究并发和串行程序的测试与验证算法，并研制相应的辅助工具；探讨互联网环境下的软件中间件理论、核心技术与开发方法，以及软件过程与质量保障的方法与技术。
研究内容
- 软件规约与软件设计方法
- λ-演算与形式语义
- 计算理论、算法与计算复杂性
- 符号计算、约束求解、程序分析
- 软件测试、软件调试
- 自动推理与程序验证
- 数据挖掘与人工智能
- 分布式程序设计理论
- 分布式计算
- 网络计算与对象语义
- 软件过程方法与技术
在研项目
| 课题名称 | 负责人 | 起止时间 | 类别 |
|---|---|---|---|
| 量子软件的理论与方法 | 季铮锋 | 2008.01-2011.12 | 重点基金参与 |
| 面向可信和服务质量的网构软件中间件模型及运行机制 | 黄涛 | 2009.01-2013.12 | 九七三课题 |
| 软件的形式说明和验证技术 | 詹乃军 | 2009.09-2014.09 | 软件所杰青 |
| 软件构件的精化、组合和粘合理论研究 | 詹乃军 | 2010.01-2012.12 | 面上基金 |
| 抽象约束回答集程序关键问题及在语义Web中的应用研究 | 沈一栋 | 2010.01-2012.12 | 面上基金 |
| 网络算法与数字信息 | 李昂生 | 2010.01-2012.12 | 软件所重大 |
| C语言程序静态检测工具 | 许中兴 | 2010.03-2012.03 | 横向 |
| 多核内存索引算法的正确性 | 陈海明 | 2010-2012 | 横向 |
