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