若干新的算法程序设计和证明方法研究
69443001
1994
F0203.软件理论、软件工程与服务
薛锦云
专项基金项目
教授
江西师范大学
5万元
算法程序设计和证明方法
1994-01-01到1996-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | 一种系统的算法程序设计和证明方法 | 期刊论文 | 薛锦云| |
| 2 | 利用循环不变式理解和开发程序 | 期刊论文 | 李云清，薛锦云| |
| 3 | 算法程序和思维工具--循环不变式 | 期刊论文 | 李云清| |
| 4 | 迭代算子及其在可重用软件研究中的应用 | 期刊论文 | 薛锦云，吴云峰，万剑怡| |
| 5 | ADA异常处理机制在容错或重用部件中的应用 | 期刊论文 | 吴云峰，薛锦云，杨庆红| |
| 6 | 使用防卫式程序设计实现软件容错 | 期刊论文 | 万剑怡，薛锦云| |
| 7 | A Unified Approach For Developing Efficient Algorithmic Programs | 期刊论文 | 薛锦云| |
| 8 | 使用迭代算子和可重用部件开发算法程序 | 奖励 | 吴云峰，薛锦云，万剑怡| |
| 9 | 一种新的算法程序设计方法初探 | 期刊论文 | 李云清| |
| 10 | 探索实现软件形式化开发的正确途径 | 奖励 | 薛锦云| |
| 11 | 软件开发方法 | 奖励 | 薛锦云| |
查看更多信息请先登录或注册
