| 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)] | | |
|