1991年第2卷第2期目录

浏览其它刊期:

本期目录


	一个集成化的软件工程支撑环境
	杨芙清,方裕,唐世渭,杨冬青
	1991,2(2):1-8 [摘要(4379)] [PDF 501.44 K (4644)]

	一个函数式数据模型FM的完备性
	丁公才
	1991,2(2):9-14 [摘要(3810)] [PDF 354.47 K (4537)]

	在多个ES协作系统中不一致性问题的处理
	刘大有,钟少春,高雅卿
	1991,2(2):15-22 [摘要(3821)] [PDF 468.16 K (4634)]

	一个自动编译系统ACS
	程虎,李爱武
	1991,2(2):23-30 [摘要(4355)] [PDF 442.94 K (5088)]

	论Folding/Unfolding程序转换的能力
	朱鸿
	1991,2(2):31-41 [摘要(3905)] [PDF 518.07 K (4488)]

	一个图形UIMS支持的用户接口描述方法及自动生成技术
	黄涛;,王裕国
	1991,2(2):42-51 [摘要(4583)] [PDF 623.32 K (4547)]

	Tuili(推理)语言的编译方法与实现技术
	高全泉;
	1991,2(2):52-62 [摘要(4187)] [PDF 585.01 K (4429)]