期刊文献+

基于Android手机投票系统的设计与实现 被引量:2

Design and Implementation of Voting System Based on Android Mobile
下载PDF
导出
摘要 设计了一种基于Android平台的投票管理系统,能较好地弥补传统手工纸质投票方式的缺陷.系统主要包括数据库的设计、服务器端和Android客户端的设计开发三个方面.数据库放在服务器端,所有涉及数据库的处理都会提交到服务器端进行,从而增加系统的安全性和处理速度. This paper introduced a kind of vote management system based on the Android platform, can better make up the defects of traditional voting. System mainly includes three aspects: the design of database, the server and the Android client design. Database on the server side, all involved in the database processing will be submitted to the server, and thus increase the system security and processing speed.
出处 《湖南理工学院学报(自然科学版)》 CAS 2016年第4期36-42,共7页 Journal of Hunan Institute of Science and Technology(Natural Sciences)
基金 湖南省高校科技创新团队支持计划(湘教通[2012]318号)
关键词 ANDROID 投票 MYSQL 服务器 Android, voting, MySQL, server
  • 相关文献

参考文献3

二级参考文献12

  • 1Pistoia M, Erlingsson U. Programming languages and program analysis for security: A three-year retrospective. ACM SIGPLAN Notices, 2008, 43(12): 82-39.
  • 2Rajamani S K. Automatic property checking for software: Past, present and future//Proceedings of the 4th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2006. Pune, India, 2006:18-20.
  • 3Jachson D, Rinard M. Software analysis: A roadmap//Proceedings of the Conference on the Future of Software Engineering. Limerick, Ireland, 2000: 133-145.
  • 4Artho C, Biere A. Combined static and dynamic analysis. Department of Computer Science, ZUrich ETH: Technical Report 466, 2005.
  • 5Sekar R, Venkatakrishnan V N, Basu S, Bhatkar S, DuVarhey D. Model-carrying code: A practical approach for safe execution of untrusted applications//Proceedings of the ACM Symposium on Operating Systems Principles (SOSP' 03). Bolton Landing, NY, 2003:15-28.
  • 6Jin Ying, Li Ze-Peng, Wei Da, Liu Lei. Automatic generation and enforcement of security contract for pervasive application//Proceeding of the TSP2008. Shanghai, China, 2008:55-60.
  • 7Naumovich G, Avrunin G S, Clarke L A. Data flow analysis for checking properties of concurrent Java programs//Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering. New Orleans, Louisiana, United States, 1994:62-75.
  • 8Demartini C, Sisto R. Static analysis of Java multithreaded and distributed application//Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems. Kyoto, Japan, 1998:215-222.
  • 9Ferrara P. Static analysis via abstract interpreation of the happens-before memeory model//Proceedings of the TAP2008. Prato, Italy, 2008:116-133.
  • 10Jin Ying. Formal verification of protocol properties of sequential Java programs//Proceedings of the COMPSAC2007 (Vol. 1). Beijing, China, 2007:475-482.

共引文献34

同被引文献13

引证文献2

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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