软件学报
来源：本站原创 更新：2016/8/28 字体：
大 小
.jpg)
一个集成化的软件工程支撑环境
杨芙清,方裕,唐世渭,杨冬青一个函数式数据模型FM的完备性
丁公才在多个ES协作系统中不一致性问题的处理
刘大有,钟少春,高雅卿一个自动编译系统ACS
程虎,李爱武论Folding/Unfolding程序转换的能力 论文QQ81995535
朱鸿一个图形UIMS支持的用户接口描述方法及自动生成技术
黄涛,王裕国Tuili(推理)语言的编译方法与实现技术
高全泉中国计算机学会一九九一年学术活动计划表
导航:
北大核心 统计源核心 CSCD CSCD扩展 国家级期刊 省级期刊 杂志见刊
版权所有:医学全在线(m.med126.com)
