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