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(2622)]  [View PDF(2720)482.96 K]
  • A METHOD OF AUTOMATICALLY GENERATING HU-PO CHARACTER
  • Lu Bo,Cai Shijie and Gu Jin
  • 1995,6(12):712-718 [Abstract(3025)]  [View PDF(2626)399.23 K]
  • VERIFICATION OF XYZ/SE PROGRAMS
  • Zhang Wenhui
  • 1995,6(12):719-727 [Abstract(2428)]  [View PDF(2763)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(2631)]  [View PDF(2799)425.71 K]
  • THE FUNCTIONAL UNDERSTANDING OF HOS SPECIFICATION AND ITS APPLICATION
  • L Jian and Fei Zongming
  • 1995,6(12):734-741 [Abstract(2646)]  [View PDF(2394)469.68 K]
  • MODAL RESOLUTION FOR MODAL SYSTEMS K4 AND D4
  • Sun Jigui,Li Qiao and Liu Xuhua
  • 1995,6(12):742-750 [Abstract(2603)]  [View PDF(2339)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(2332)]  [View PDF(2394)553.77 K]