1995年第6卷第12期目录

浏览其它刊期:

本期目录


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

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

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

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

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

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

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