1992年第3卷第4期目录
半正则重写系统及其合流性林凯,孙永强1992,3(4):1-11 [摘要(3690)] [PDF(4518)575.21 K][HTML(0)]关于概率无限寄存器机器PURM及其程序可模拟的随机函数党哲,周维芳1992,3(4):12-18 [摘要(4622)] [PDF(4862)412.65 K][HTML(0)]图(k,m)最优划分的近似算法吕其诚1992,3(4):19-23 [摘要(3988)] [PDF(4530)339.27 K][HTML(0)]从软件功能实例规格说明到软件功能形式规格说明的自动转换吕建,徐家福1992,3(4):24-31 [摘要(3761)] [PDF(4718)471.02 K][HTML(0)]一种缺省推理方法及其应用陈世福,潘金贵,徐殿祥1992,3(4):32-36 [摘要(3341)] [PDF(4826)293.89 K][HTML(0)]基于程序生成的软件过程模型周善琼,居德华,廖素萍1992,3(4):37-44 [摘要(3491)] [PDF(4474)478.12 K][HTML(0)]论面向对象与逻辑系统的结合朱海滨1992,3(4):45-50 [摘要(3797)] [PDF(4581)412.98 K][HTML(0)]数据库应用程序的转换方法杜小勇1992,3(4):51-55 [摘要(3139)] [PDF(4491)371.19 K][HTML(0)]一体化MIS快速开发自动生成器CDBAG-4GL的设计与实现李昭原,王辉1992,3(4):56-61 [摘要(3820)] [PDF(5121)423.58 K][HTML(0)]
