江西师范大学计算机科学系 
研究主题：程序设计 数据库 候选关键字 面向对象 关系数据库
研究学科：自动化类 经济学类 社会学类 电气类
- 形式化方法B及其程序规约机理
- 1
- 《计算机工程》江西师范大学计算机科学系 肖美华 薛锦云 出版年：2004
- 关键词：形式化方法B 程序规约 抽象机 程序设计
- 一种设计模式的混合规范描述模型研究
- 2
- 《计算机工程》上海交通大学;江西师范大学计算机科学系 万剑怡 薛锦云 出版年：2001
- 关键词：设计模式 形式规范 混合规范模型 软件设计
- 一种基于设计模式的三阶段并行程序设计方法 ( EI收录)
- 3
- 《计算机研究与发展》上海交通大学计算机科学与工程系;江西师范大学计算机科学系 万剑怡 孙永强 薛锦云 出版年：2002
- 关键词：设计模式 问题求解 并行程序设计方法 可编程性
- 基于面向对象技术的知识表示模式
- 4
- 《江西师范大学学报（自然科学版）》江西师范大学计算机科学系 徐明发 聂承启 出版年：1997
- 关键词：面向对象 知识表示模式 结构对象类 程序设计
- Java多线程机制及其应用
- 5
- 《计算机与现代化》江西师范大学计算机科学系 王保华 薛锦云 丁树良 出版年：2000
- 关键词：多线程 进程 程序设计 JAVA语言 面向对象
- 关于群组决策特征根法的注记
- 6
- 《江西师范大学学报（自然科学版）》江西师范大学计算机科学系;江西教育出版社 王明文 谭玮 出版年：1999
- 关键词：群组决策 理想专家 评分夹角 反例 特征根法
- 求候选关键字的替换算法及其正确性和完备性证明 ( EI收录)
- 7
- 《计算机学报》江西师范大学计算机科学系 周定康 出版年：1994
- 关键词：数据库 候选关键字 替换算法
- 候选关键字的判定理论 ( EI收录)
- 8
- 《计算机学报》江西师范大学计算机科学系 周定康 出版年：1992
- 关键词：候选关键字 关系模式 关系数据库
- 基于集合与序列的Ada可复用部件及应用 ( EI收录)
- 9
- 《计算机工程》江西师范大学计算机科学系 李云清 杨庆红 薛锦云 出版年：1998
- 关键词：集合 序列 可复用部件 软件工程 ADA语言
- 利用循环不变式理解和开发程序
- 10
- 《计算机与现代化》江西师范大学计算机科学系 李云清 薛锦云 出版年：1996
- 关键词：循环不变式 程序设计 循环结构
