Volume 6,Issue 12,1995 Table of Contents

Other Issues:  
  
Contents

  • AN OBJECT-ORIENTED SOFTWARE SPECIFICATION LANGUAGE
  • Quan Bingzhe and Jin Chunzhao
  • 1995,6(12):705-711 [Abstract(2697)]  [View PDF(2751)482.96 K]
  • A METHOD OF AUTOMATICALLY GENERATING HU-PO CHARACTER
  • Lu Bo,Cai Shijie and Gu Jin
  • 1995,6(12):712-718 [Abstract(3090)]  [View PDF(2655)399.23 K]
  • VERIFICATION OF XYZ/SE PROGRAMS
  • Zhang Wenhui
  • 1995,6(12):719-727 [Abstract(2514)]  [View PDF(2790)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(2710)]  [View PDF(2832)425.71 K]
  • THE FUNCTIONAL UNDERSTANDING OF HOS SPECIFICATION AND ITS APPLICATION
  • L Jian and Fei Zongming
  • 1995,6(12):734-741 [Abstract(2747)]  [View PDF(2428)469.68 K]
  • MODAL RESOLUTION FOR MODAL SYSTEMS K4 AND D4
  • Sun Jigui,Li Qiao and Liu Xuhua
  • 1995,6(12):742-750 [Abstract(2668)]  [View PDF(2368)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(2403)]  [View PDF(2422)553.77 K]