排序方式: 共有8条查询结果,搜索用时 0 毫秒
1
1.
互联网技术的普及和应用,使电子政务得到了迅速的发展。为适应行业监管的特殊需要,使用集成Struts、Spar,和Hiixrnate三种J2EE框架技术,可以快速构建一个多层的可复用、可扩展、实用的食品药品监督管理系统。深入讨论J2EE应用系统开发过程及其相关技术,提出了系统的解决方案。通过系统的建设,借助信息化的管理手段建立起监管部门与企业间的信息交流渠,实现了监管人员的移动办公和移动执法,实现了网上办公,方便监管人员的现场办公和执法。 相似文献
2.
3.
形式化方法具有精确数学含义的科学研究和验证方法,是建立在数学基础上的,可信分布式实时系统开发过程中的时间分析是非常复杂的,涉及到不同的方面,需要考虑很多东西,不同的可信分布式实时系统具有不同的时间性需求,不能用一种开发方法进行分析、设计和实现,由于形式化方法具有严谨、可数学分析、证明、完整性、一敌性、无二义性和精确性等特性,可以根据系统开发的不同方面采用不同的形式化语言进行分析、设计和实现,然后再把这些方面编织应用到系统中去,来完成它在系统中特定的作用,因此形式化方法已经成为人们深入研究的一个领域。 相似文献
4.
基于J2EE的公安厅审计信息系统的设计与实现 总被引:3,自引:2,他引:1
随着信息技术的发展和进步,电子政务得到迅速发展,针对当前审计业务中繁重的工作任务、办事效率低等问题,为了解决公安厅审计办公中涉及的繁重的工作任务从而提高工作效率.采用J2EE平台并结合工作流技术,采用一种新的工作流模型设计并实现公安厅审计信息系统中审计业务功能部分,进而采用J2EE平台设计了整个系统的三层架构并实现整个系统的其他部分,开发出具有跨平台的、功能完善的、界面友好的、安全稳定的公安厅审计信息系统,从而使系统具有较高的运行效率、良好的可扩展性和可维护性. 相似文献
5.
6.
7.
8.
1