1995年第6卷第12期目录

浏览其它刊期:

本期目录


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

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

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

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

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

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

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