摘要：分析智能元搜索引擎系统的特点和J2EE架构的优势,提出基于J2EE应用架构的多层智能元搜索引擎系统设计方案,整合系统分析、系统设计和编码的全部过程,开发出高质量、可复用、可扩展的智能元搜索引擎系统。

摘要：本文主要讨论基于合约的似然程序不变量的内涵,以及通过程序断言动态生成技术来发现程序不变量的意义。在此主要描述基于合约的似然程序不变量发现的基本理论模型以及该模型与动态不变量检测工具Daikon实体模型的比较,进一步论述程序断言动态生成技术。通过精确的程序断言动态生成,可以分析程序各变量之间的关联属性,以完成不变量的检测。从而有助于设计高质量的程序架构以及规范化的程序代码.

摘要：本文介绍了软件开发过程中界面设计的原则和技巧 ,并讨论了在PowerBuilder应用程序中进行图形用户界面设计时所应考虑到的软件界面的规范性和一致性问题。

摘要：本文从分析培养程序设计能力对计算机专业学生的重要性出发,总结了当前《高级语言程序设计》课程教学中存在的问题,并就教学、实践、考核和交流反馈四个环节分别提出了改革的方法和措施,并以此为基础研究设计了高级语言程序设计课程网站,为提高学生的程序设计能力提供平台。

摘要：在经济发展新时期,市场竞争越来越激烈,企业要在时代的风口浪尖站稳脚跟,就必须提高内部的综合实力,秘书岗位作为承上启下、沟通内外的枢纽,在企业管理中承担着越来越重要的角色,企业管理工作的科学化、规范化,也使得秘书工作内容不断更新,新时期的秘书人员被赋予更多的工作与职责,秘书人员必须要顺应时代发展潮流,增强责任感和使命感,不断学习,提高自身综合素质和专业技能,为企业发展提供有力条件。

摘要：在当今信息社会中,程序质量是一个具有重要意义的热点问题,基于契约的程序设计是提高程序质量的重要且有效的技术,但是形式化契约的制定是一件十分困难的工作,因此软件质量保证问题一直是令人困扰的难题,本文介绍契约式程序设计的基本概念与方法,并在此基础上,提出利用契约进行程序动态分析的主要思路及其基本过程并给出简单实例,从一种新的维度来思考保障软件质量的方法．

摘要：针对C语言程序设计课程知识点繁琐,学生易陷入枯燥繁琐的语法和语句规则中而无所适从,提出能力导向的C语言"团队式"教学模式。采用项目教学法,模拟工业界的项目开发过程,将学生分成各个项目组,利用国际上工业界通用的项目管理软件Rally对每个项目组进行管理,改革传统考核方式,以进一步发挥学生的主观能动性,提高其综合能力。

摘要：信息技术和网络技术的飞速发展，在给计算机用户带来了丰富的信息资源和便利的通信服务的同时；也使得他们经常被淹没在信息海洋中而无所适从，从而出现了“信息过载”和“信息迷向”的现象。该文设计了一种基于免疫优化算法建立、更新用户兴趣模型的方法，以实时、准确的教学资源推荐来改善用户学习方式，提高网络教学效率。

摘要：慕课是近年来开放教育领域出现的一种新课程模式,将为更多的人提供接受优质教学资源和参与学习的机会。高质量的慕课资源开发与建设将是在线教育未来面临与解决的关键性问题。本文针对慕课在我国高等教育应用的现状,提出《云计算与物联网》慕课知识体系构建的方案,以期为我国高等教育的可持续发展提出可行性建议。