ENG
首页 > 研究生培养 > 学科 > 计算机科学与技术 > 软件自动化技术

软件自动化技术

  本学科方向招收全日制学术型硕士研究生。
  主要研究领域包括:软件测试的理论、方法与过程,模型驱动程序设计和程序模型重构的理论与方法等。特色和优势体现在,基于路径分析的白盒检测技术达到国内先进水平,研究成果在多项国防信息工程中得到应用,曾获中国人民解放军科技进步二等奖和北京市科技进步三等奖;过程蓝图建模语言和基于过程蓝图的程序设计方法学为原创性成果,已出版专著,开发的软件可视自动化工具在出版社等多家单位得到应用。
  负责人:刘建宾

COPYRIGHT @ 北京信息科技大学 京公网安备110402430033号 京ICP备17006670号-1
关注官方微信
关注官方微信
Copyright © 2012 北京信息科技大学 | 京公网安备:110402430033
关注官方微信
关注官方微信

Copyright © 北京信息科技大学

京公网安备:110402430033号

回顶部