孙越
- 作品数：4 被引量：6H指数：2
- 供职机构：开封大学信息工程学院更多>>
- 发文基金：河南省教育厅自然科学基金河南省基础与前沿技术研究计划项目更多>>
- 相关领域：文化科学自动化与计算机技术更多>>
- 组件化内容管理系统的设计与实现被引量：2
- 2013年
- 内容管理系统作为企事业信息化的重要组成部分,已经被广泛使用。目前基于各种服务器平台及开发语言的内容管理系统种类繁多,但在内容与形式设计上,很多系统耦合度太大,从而导致系统扩展性较差、维护成本高昂。本文基于微软的ASP.Net MVC3框架,结合SQLServer及XML等数据技术,探讨基于组件化开发、内容与设计分离、高扩展性、方便易用的内容管理系统的设计思想与实现过程。
- 常军强孙越马振天陈丹敏
- 关键词：CMSMVCJQUERYSQL
- 基于B方法的内存管理模型的设计
- 2015年
- 内存管理是操作系统的重要组成部分,一个安全可靠的内存管理程序,对于操作系统的运行十分关键.采用传统软件开发方法开发的内存管理系统,安全性和可靠性得不到很好的保证.为此提出用形式化的B方法开发内存管理系统.首先使用B方法建立了内存管理的形式化模型,利用B工具对该阶段生成的证明义务进行证明,保证系统在初始规范说明层次上的内在一致性和设计的正确性.然后根据B方法分层构造的思想对上一阶段得到的抽象规范模型进行精化.最终得到一个可实现的内存管理模型,该模型更好地保证了系统的一致性和可靠性.
- 陈丹敏孙越陈志国
- 关键词：B方法内存管理精化
- 学习小组的建立对高职计算机专业英语课程的影响
- 2014年
- 本文在分析高职学生学习特点的基础上，结合计算机专业英语的教学内容和培养目标，阐述了实行建立学习小组的方式，以促进该课程有效的学习的具体开展，提出了合理化建议，使课堂教学更生动，有效地提高学生学习兴趣，以期为教师开展有趣的教学提供一种参考办法。
- 孙越
- 关键词：计算机专业英语教学设计
