1991年第2卷第2期目录
一个集成化的软件工程支撑环境杨芙清,方裕,唐世渭,杨冬青1991,2(2):1-8 [摘要(4304)] [PDF(4152)501.44 K][HTML(0)]一个函数式数据模型FM的完备性丁公才1991,2(2):9-14 [摘要(3735)] [PDF(4069)354.47 K][HTML(0)]在多个ES协作系统中不一致性问题的处理刘大有,钟少春,高雅卿1991,2(2):15-22 [摘要(3780)] [PDF(4169)468.16 K][HTML(0)]一个自动编译系统ACS程虎,李爱武1991,2(2):23-30 [摘要(4276)] [PDF(4582)442.94 K][HTML(0)]论Folding/Unfolding程序转换的能力朱鸿1991,2(2):31-41 [摘要(3853)] [PDF(3979)518.07 K][HTML(0)]一个图形UIMS支持的用户接口描述方法及自动生成技术黄涛;,王裕国1991,2(2):42-51 [摘要(4529)] [PDF(4039)623.32 K][HTML(0)]Tuili(推理)语言的编译方法与实现技术高全泉;1991,2(2):52-62 [摘要(4121)] [PDF(4000)585.01 K][HTML(0)]
