期刊文献+

基于组件的学生管理系统快速成型方法研究 被引量:1

A Kind of Quickly Molding Method Researchingabout Students Manage System Base on Components
下载PDF
导出
摘要 目前我国高校学生信息管理正朝着跨地域、跨学校、跨平台的方向发展,本文提出了一种基于组件技术的高校学生综合管理系统的快速成型方法,介绍了该系统的主要功能和开发设计过程,也阐述了组件技术在软件开发中的基本原则和方法。 <Abstrcat>High School students information management in current our country is developing towards crossed-region,between schools and crossed-platform, this text put forward a kind of method of quickly molding in developing a system based on components in High schools students information manage, it introduced the main function of the system and the process of designing, and studied the basic principle and methods of developing the components-based software.
出处 《计算技术与自动化》 2005年第2期91-93,共3页 Computing Technology and Automation
关键词 组件 组件技术 MIS系统 WEB应用 component components technique MIS system Web application
  • 相关文献

参考文献7

二级参考文献43

  • 1何剑斌.FKDME:基于融合的知识发现系统模型研究、设计与实现.华南理工大学硕士论文[M].,2002..
  • 2David J.kruglinski Scot Wingo 等.COM技术内幕[M].北京:清华大学出版社,1997,12..
  • 3[10]ITU-T Recommendation Z.120, Message sequence chart (MSC'96). Technical Report, 1996.
  • 4[11]Mauw, S., Reniers, M.A. An algebraic semantics of basic message sequence charts. Computer Journal, 1994,37(4):268~277.
  • 5[12]Ladkin, P., Leue, S. Interpreting message flow graphs. Formal Aspects of Computing, 1995,7(5):473~509.
  • 6[13]Alur, R., Holzmann, G.J. and Peled, D. An analyzer for message sequence charts. Software Concepts and Tools, 1996,17(2):70~77.
  • 7[14]Tanenbaum, A.S., Woodhull, A.S. Operating Systems: Design and Implementation. 2nd Edition. Englewood Cliffs, NJ: Prentice Hall, Inc., 1997.
  • 8[15]Manna, Z., Pnueli, A. The Temporal Logic of Reactive and Concurrent Systems Specification. Berlin: Springer-Verlag, 1992.
  • 9[16]Leue, S., Ladkin, P.B. Implementing and verifying scenario-based specifications using Promela/Xspin. In: Gregoire, J-C., Holzmann, H.J., Peled, D.A., eds. Proceedings of the 2nd Workshop on the SPIN Verification System. Technical Report, DIMACS-32, 1997.
  • 10[17]Wolper, P., Gerth, R., Peled, D., et al. Vardi. simple on-the-fly automatic verification of linear temporal logic. In: Dembinski, P., Sredniawa, M., eds. Proceedings of the IFIP WG 6.1 15th International Symposium on Protocol Specification, Testing and Verification. Warsaw, Poland: Chapman and Hall, 1995.

共引文献141

同被引文献3

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部