摘要：本文探讨基于j2ee规范的数字图书馆示范模型设计中的关键技术及其解决的方法.

摘要：本文介绍了数字图书馆体系结构的发展.在介绍j2ee规范的基础上,结合数字图书馆全文检索系统实践,提出了基于j2ee规范的数字图书馆的体系结构,并分析了这种体系结构的优势以及应用前景.

摘要：j2ee规范描述了当前开发应用服务器和分布式多层应用所遵循的技术蓝本。然而,它所使用的自然或半自然语言描述方式并不严格,易产生二义性,会影响j2ee应用服务器实现的正确性和应用服务器之间的兼容性。针对这一问题,本文以EjB2.1规范中的TimerService为例,研究了一种基于模型检查技术设计与实现规范方法。首先根据规范的描述提出TimerService的形式化模型,定义了TimerService的行为;然后使用模型检查工具SPIN对模型进行分析与验证,不仅证明了模型符合规范要求,而且发现并修正了规范中不严格的描述带来的缺陷。以该模型为基础导出了TimerService的一种设计方案,这种设计已经在中科院软件所研制的OnceAS应用服务器中得到实现,并在j2ee1.4兼容性测试中证明了其正确性。

摘要：通过对j2ee(javaTM2Platform ,Enterpriseedition)企业计算平台进行了分析和讨论 ,提出了一个符合j2ee规范的HIKS网上考试系统的设计模型 ,并给出了具体的实现。

摘要：通过对j2ee企业计算平台的分析和讨论，提出了一个符合j2ee规范的HIKS网上考试系统的设计模型，并给出了具体的实现。

摘要：在深入分析了分布式计算系统的主流解决方案j2ee技术特点及体系结构的基础上,针对海水养殖区域信息化管理的特点与要求,提出了基于j2ee规范的海水养殖区域管理信息系统的总体结构。最后,使用jBuilder+Weblogic集成开发环境设计开发了这一系统。

摘要：文章简单介绍目前常见的网络文件管理系统的设计特点,并详细提出一个利用java技术和j2ee规范设计实现分布式资源管理系统的方案。

摘要：本文以ITIL规范作为指导原则,以ITIL服务管理的核心流程为参照,分析和设计符合IT运维需求、关注流程、以服务及客户满意度为中心的IT服务运维管理系统。通过对IT运维业务现状的分析,完成对IT运维管理系统的需求分析,功能设计和系统总体架构设计。完成后系统的功能主要包括基础信息维护功能模块、用户访问控制管理功能、事件管理功能、备件库管理功能、知识库管理功能等五大模块。以达到将IT服务进行量化管理,控制服务质量和服务成本的目的。

摘要：java语言目前在服务器端表现出强大的开发能力，特别是j2ee规范的日趋丰富和完善，更加推动了java企业级的应用。但是，使用java开发桌面应用，特别是高度交互的客户机应用程序，总是不能达到满意的效果。虽然Sun公司为了加强java的界面功能而不断更新和增加Swing的功能。

摘要：介绍了云电技术监督管理系统的设计理念和系统架构以及该系统的主要构成和功能特点、应用效果和验收情况等。