期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

软件移植方法与操作系统仿真 被引量：2

Software transplant by operation system simulation
在线阅读 下载PDF
导出
摘要 本文以软件移植为线索 ,结合具体实践内容 ,探讨了异种操作系统平台下运用仿真技术实现应用软件移植的方法 . By using a combination of theoretical analysis and simulation,we present and validate the method for replanting the application software in heterogeneous operation system.
作者 孔月萍
机构地区 西安电子科技大学计算机学院 西安建筑科技大学信控学院
出处 《西安建筑科技大学学报（自然科学版）》 CSCD 2002年第2期180-182,共3页 Journal of Xi'an University of Architecture & Technology(Natural Science Edition)
基金 西安建筑科技大学青年科学基金项目
关键词 软件移植 模拟 仿真 操作系统仿真 software transplanting simulation simulation operation system simulated
分类号 TP311.54 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献2

  • 1汤子瀛.计算机操作系统[M].西安:西安电子科技大学出版社,1999..
  • 2王永山 杨宏五 等.微型计算机原理与应用[M].西安:西安电子科技大学出版社,1998..

共引文献15

同被引文献17

  • 1蒋韬.浅谈软件移植原则及其实现[J].电脑开发与应用,1996,9(4):60-60. 被引量：2
  • 2钱培德,吕强,杨季文,朱巧明.论操作系统仿真器[J].计算机研究与发展,1997,34(7):507-512. 被引量：1
  • 3[美]David Pitts．Red Hat Linux6大全[M]．北京：机械工业出版社，2000．
  • 4李维．2001年软件的巨星-Kylix[EB／OL]．http：／／www．delphidevelopers．com.2001．
  • 5乔林．Kylix程序设计-类库参考手册[M]．北京：中国铁道出版社，2001．
  • 6[美]Peter Moulding．PHP技术内幕[M]．北京：中国水利水出版社，2003．
  • 7NIPKOW T, PAULSON L C, WENZEL M. A proof assistant for higher-order logic [ C ]//Lecture Notes in Computer Science, vol 2283.
  • 8KLEIN G, ELPHINSTONE K, HEISER G, et al. sel4 : formal verifica- tion of an OS kernel[ C ]//Proc of the 22rid ACM SIGOPS Symposium on Operating Systems Principles. New York : ACM Press, 2009 : 207- 220.
  • 9LEINENBACH D. Communicating virtual machines:a formal model for the specification and verification of operating system kernels, seIA [ R]. Germany : Saarland University,2009.
  • 10HALDENMAIR M. AutoFOCUS 3 the picture book[ M/OL]. (2011- 09- 06 ). https Berlin : Springer-Verlag,2012 : 205. ://al3. fortiss, org/projects/autofocus3/wiki/Picture _ Book.

引证文献2

二级引证文献2

西安建筑科技大学学报（自然科学版）
2002年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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