1992年第3卷第4期目录

浏览其它刊期:

本期目录


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

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

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

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

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

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

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

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

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