上海师范大学数理信息学院计算机科学与技术系 
研究主题：分析软件 可靠性数据 软件可靠性模型 标号 WEB
研究学科：自动化类 建筑类
- 使用分层模型改进MVC设计架构
- 1
- 《计算机工程与设计》上海师范大学数理信息学院计算机科学与工程系 李春红 高建华 出版年：2007
- 关键词：软件架构 WEB 模型 视图-控制器 分层模型 STRUTS
- 一种面向对象测试用例自动生成的混合算法
- 2
- 《计算机应用研究》上海师范大学数理信息学院计算机科学与工程系 胡岳峰 高建华 出版年：2008
- 关键词：软件测试 测试数据 遗传算法 粒子群优化
- 软件重构中Visitor设计模式和应用
- 3
- 《计算机工程与设计》上海师范大学数理信息学院计算机科学与工程系 殷定媛 高建华 出版年：2006
- 关键词：重构技术 形式化方法 重构工具 设计模式 类层次体系架构
- 几何非线性损伤粘弹性中厚板的动力学行为分析
- 4
- 《动力学与控制学报》福建工程学院机电及自动化工程系;上海师范大学数理信息学院计算机科学与技术系;南昌大学建筑工程学院工程力学研究所 盛冬发 朱媛媛 出版年：2005
- 关键词：损伤粘弹性固体 中厚板 几何非线性 非线性动力系统 分义 混沌
- 用线性组合模型分析软件可靠性数据
- 5
- 《牡丹江师范学院学报（自然科学版）》上海师范大学数理信息学院计算机科学与工程系 张丹 出版年：2007
- 关键词：软件可靠性数据 软件可靠性模型 线性组合模型 DLC模型
- 优于单一模型分析软件可靠性数据的方法
- 6
- 第十二届全国容错计算学术会议 2007张丹 高建华 出版年：2007
- 关键词：软件可靠性数据 软件可靠性模型 线性组合模型 DLC模型
- 软件体系结构动态模型描述及其测试中的应用
- 7
- 《计算机工程与设计》上海师范大学数理信息学院计算机科学与工程系 顾燕萍 高建华 出版年：2007
- 关键词：一致性测试 带标号转换系统 有限状态过程 软件体系结构动态性描述 测试序列
- 面向对象软件开发过程中演化阶段的分类法
- 8
- 《计算机工程与设计》上海师范大学数理信息学院计算机科学与工程系 朱劼 高建华 出版年：2008
- 关键词：区分 演化 演化阶段 逆向软件工程 重构
- 用于测试的SA动态模型生成方法
- 9
- 《计算机技术与发展》上海师范大学数理信息学院计算机科学与工程系 顾燕萍 高建华 出版年：2006
- 关键词：带标号的转换系统 有限状态过程 化学抽象机 软件体系结构动态性描述 测试序列
