Contents

AN OBJECT-ORIENTED SOFTWARE SPECIFICATION LANGUAGE Quan Bingzhe and Jin Chunzhao 1995,6(12):705-711 [Abstract(4403)]  [View PDF(5696)482.96 K]

A METHOD OF AUTOMATICALLY GENERATING HU-PO CHARACTER Lu Bo,Cai Shijie and Gu Jin 1995,6(12):712-718 [Abstract(4899)]  [View PDF(5569)399.23 K]

VERIFICATION OF XYZ/SE PROGRAMS Zhang Wenhui 1995,6(12):719-727 [Abstract(4583)]  [View PDF(5811)478.29 K]

THE DESIGN AND IMPLEMENTATION OF STREAMS-BASED X.25 PACKET SWITCHING NETWORK ACCESSING SOFTWARE Yang Jiahai,Li Jun,Wu Jianping and Shi Meilin 1995,6(12):728-733 [Abstract(4622)]  [View PDF(5833)425.71 K]

THE FUNCTIONAL UNDERSTANDING OF HOS SPECIFICATION AND ITS APPLICATION L Jian and Fei Zongming 1995,6(12):734-741 [Abstract(4592)]  [View PDF(5303)469.68 K]

MODAL RESOLUTION FOR MODAL SYSTEMS K4 AND D4 Sun Jigui,Li Qiao and Liu Xuhua 1995,6(12):742-750 [Abstract(4389)]  [View PDF(5184)512.31 K]

PROVING THE EXISTENCE OF INITIAL STATE IN Z SPECIFICATIONS Miao Huaikou,John McDermid and Lan Toyn 1995,6(12):751-760 [Abstract(4145)]  [View PDF(5160)553.77 K]