1995年第6卷第12期目录

浏览其它刊期:

本期目录


	面向对象软件规格语言的设计
	全炳哲,金淳兆
	1995,6(12):705-711 [摘要(3719)] [PDF 482.96 K (4140)]

	一种琥珀体汉字字形的自动生成方法
	陆波,蔡士杰,顾进
	1995,6(12):712-718 [摘要(4115)] [PDF 399.23 K (4087)]

	XYZ／SE程序的验证
	张文辉
	1995,6(12):719-727 [摘要(3775)] [PDF 478.29 K (4297)]

	基于STREAMS的X．25分组交换网访问软件的设计与实现
	杨家海,李军,吴建平,史美林
	1995,6(12):728-733 [摘要(3831)] [PDF 425.71 K (4271)]

	HOS规格说明的功能理解及其应用
	吕建,费宗铭
	1995,6(12):734-741 [摘要(3821)] [PDF 469.68 K (3761)]

	模态K₄、D₄系统的归结推理
	孙吉贵,李乔,刘叙华
	1995,6(12):742-750 [摘要(3661)] [PDF 512.31 K (3828)]

	Z规格说明中初始状态存在性的证明
	缪淮扣,John McDermid,Lan Toyn
	1995,6(12):751-760 [摘要(3483)] [PDF 553.77 K (3750)]