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