柴玉梅 韩鸿莺 刘磊 金英 马世龙 王胜军 郭德贵 吕江花

基调 设备分配 元程序设计 语义指派函数 元程序 软件自动生成 基本图 g演算

吉林长春 吉林通化 吉林大学计算机科学系 郑州工学院计算机科学系 吉林大学计算机科学与技术学院 通化市建设银行中心支行科技部 北京100083吉林大学大学计算机科学与... 北京航空航天大学软件开发环境国家重点实验...