1991年第2卷第2期目录

浏览其它刊期:

本期目录


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

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

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

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

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

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

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