1995年第6卷第12期目录
面向对象软件规格语言的设计全炳哲,金淳兆1995,6(12):705-711 [摘要(3719)] [PDF(4140)482.96 K][HTML(0)]一种琥珀体汉字字形的自动生成方法陆波,蔡士杰,顾进1995,6(12):712-718 [摘要(4115)] [PDF(4087)399.23 K][HTML(0)]XYZ/SE程序的验证张文辉1995,6(12):719-727 [摘要(3775)] [PDF(4297)478.29 K][HTML(0)]基于STREAMS的X.25分组交换网访问软件的设计与实现杨家海,李军,吴建平,史美林1995,6(12):728-733 [摘要(3831)] [PDF(4270)425.71 K][HTML(0)]HOS规格说明的功能理解及其应用吕建,费宗铭1995,6(12):734-741 [摘要(3821)] [PDF(3760)469.68 K][HTML(0)]模态K4、D4系统的归结推理孙吉贵,李乔,刘叙华1995,6(12):742-750 [摘要(3660)] [PDF(3828)512.31 K][HTML(0)]Z规格说明中初始状态存在性的证明缪淮扣,John McDermid,Lan Toyn1995,6(12):751-760 [摘要(3483)] [PDF(3750)553.77 K][HTML(0)]