1992年第3卷第4期目录

浏览其它刊期:

本期目录


	半正则重写系统及其合流性
	林凯,孙永强
	1992,3(4):1-11 [摘要(3618)] [PDF 575.21 K (4004)]

	关于概率无限寄存器机器PURM及其程序可模拟的随机函数
	党哲,周维芳
	1992,3(4):12-18 [摘要(4566)] [PDF 412.65 K (4389)]

	图(k,m)最优划分的近似算法
	吕其诚
	1992,3(4):19-23 [摘要(3924)] [PDF 339.27 K (4011)]

	从软件功能实例规格说明到软件功能形式规格说明的自动转换
	吕建,徐家福
	1992,3(4):24-31 [摘要(3687)] [PDF 471.02 K (4205)]

	一种缺省推理方法及其应用
	陈世福,潘金贵,徐殿祥
	1992,3(4):32-36 [摘要(3280)] [PDF 293.89 K (4275)]

	基于程序生成的软件过程模型
	周善琼,居德华,廖素萍
	1992,3(4):37-44 [摘要(3423)] [PDF 478.12 K (3970)]

	论面向对象与逻辑系统的结合
	朱海滨
	1992,3(4):45-50 [摘要(3761)] [PDF 412.98 K (4080)]

	数据库应用程序的转换方法
	杜小勇
	1992,3(4):51-55 [摘要(3095)] [PDF 371.19 K (4021)]

	一体化MIS快速开发自动生成器CDBAG-4GL的设计与实现
	李昭原,王辉
	1992,3(4):56-61 [摘要(3758)] [PDF 423.58 K (4610)]