Volume 6,Issue 12,1995 Table of Contents
AN OBJECT-ORIENTED SOFTWARE SPECIFICATION LANGUAGEQuan Bingzhe and Jin Chunzhao1995,6(12):705-711 [Abstract(3812)] [View PDF(4844)482.96 K]A METHOD OF AUTOMATICALLY GENERATING HU-PO CHARACTERLu Bo,Cai Shijie and Gu Jin1995,6(12):712-718 [Abstract(4234)] [View PDF(4768)399.23 K]VERIFICATION OF XYZ/SE PROGRAMSZhang Wenhui1995,6(12):719-727 [Abstract(3948)] [View PDF(5013)478.29 K]THE DESIGN AND IMPLEMENTATION OF STREAMS-BASED X.25 PACKET SWITCHING NETWORK ACCESSING SOFTWAREYang Jiahai,Li Jun,Wu Jianping and Shi Meilin1995,6(12):728-733 [Abstract(3935)] [View PDF(4954)425.71 K]THE FUNCTIONAL UNDERSTANDING OF HOS SPECIFICATION AND ITS APPLICATIONL Jian and Fei Zongming1995,6(12):734-741 [Abstract(3928)] [View PDF(4443)469.68 K]MODAL RESOLUTION FOR MODAL SYSTEMS K4 AND D4Sun Jigui,Li Qiao and Liu Xuhua1995,6(12):742-750 [Abstract(3765)] [View PDF(4435)512.31 K]PROVING THE EXISTENCE OF INITIAL STATE IN Z SPECIFICATIONSMiao Huaikou,John McDermid and Lan Toyn1995,6(12):751-760 [Abstract(3570)] [View PDF(4398)553.77 K]
