期刊文献+

基于逻辑语言的计算机软件开放设计 被引量:3

Open Design of Computer Software Based on Logic Language
下载PDF
导出
摘要 基于逻辑语言的特点分析了计算机软件开放设计问题,应用对比法,分析在计算机软件开放设计中,应用不同计算机逻辑语言的优势,对几种逻辑语言对比,分析在设计计算机开放软件应用Java语言的优势。并基于Java逻辑语言,设计开放式的计算机软件,研究分析应用Java逻辑语言设计开放式计算机软件的价值。 Based on the characteristics of logic language, we analyzed the problem of the computer soft ware's open design, with this method, it was analyzed that the advantages of different logical languages in the open design of computer software, after comparing several logical languages, the advantages of apply-ing the Java language in designing the open software of computer was analyzed. And based on Java logic language, through the design of computer software with is open type. The value of applying java logic lan-guage to develop computer software of open type was researched and analyzed.
出处 《青岛大学学报(自然科学版)》 CAS 2017年第2期92-96,共5页 Journal of Qingdao University(Natural Science Edition)
基金 国家自然科学基金(批准号:61502204)资助
关键词 逻辑语言 开放设计 软件设计 计算机软件 logic language open design software design computer software
  • 相关文献

参考文献9

二级参考文献47

  • 1宋维峰.浅析网络游戏中的知识产权问题[J].科技风,2009(12). 被引量:1
  • 2刘国涛.科研工作中应注意的几个知识产权问题[J].科研管理,1993,14(2):14-17. 被引量:4
  • 3Makris K, Bazzi R A.Immediate multi-threaded dynamic software updates using stack reconstruction[C]//Proceedings of the Conference on USENIX Annual Technical Confer- ence, 2009. 被引量:1
  • 4Neamtiu I G.Practical dynamic software updating[D].Mary- land,USA : University of Maryland College Park, 2008. 被引量:1
  • 5Suhramanian S, Hicks M, McKinley K S.Dynamic software updates for Java: a VM-centric approach[C]//Proceedings of the ACM SIGPLAN Conference on Programming Lan- guage Design and Implementation, New York, USA, 2009: 1-12. 被引量:1
  • 6Gupta D,Jalote P,Barua G.A formal framework for on-line software version change[J].IEEE Transactions on Software Engineering, 1996,22 (2) : 120-131. 被引量:1
  • 7Stoyle G, Hicks M, Bierman G, et al.Mutatis mutandis: safe and predictable dynamic software updating[C]//Proceedings of the ACM SIGPLAN Conference on Programming Lan- guage Design and Implementation, Long Beach, California, USA, 2005. 被引量:1
  • 8Nielson F, Nielson H R, Hankin C.Principles of program analysis[M].Heidelberg, Berlin: Springer, 1999. 被引量:1
  • 9CIL C intermediate language[EB/OL].[2012-03-02].http ://ker- neis.gitkub.com/cil/. 被引量:1
  • 10OCaml:the most popular variant of the Caml language[EB/OL]. [2012-03-02].http ://caml.inria. fr/ocaml/. 被引量:1

共引文献33

同被引文献21

引证文献3

二级引证文献8

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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