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(2580)]  [View PDF(2686)482.96 K]
  • A METHOD OF AUTOMATICALLY GENERATING HU-PO CHARACTER
  • Lu Bo,Cai Shijie and Gu Jin
  • 1995,6(12):712-718 [Abstract(2976)]  [View PDF(2601)399.23 K]
  • VERIFICATION OF XYZ/SE PROGRAMS
  • Zhang Wenhui
  • 1995,6(12):719-727 [Abstract(2388)]  [View PDF(2742)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(2575)]  [View PDF(2765)425.71 K]
  • THE FUNCTIONAL UNDERSTANDING OF HOS SPECIFICATION AND ITS APPLICATION
  • L Jian and Fei Zongming
  • 1995,6(12):734-741 [Abstract(2601)]  [View PDF(2371)469.68 K]
  • MODAL RESOLUTION FOR MODAL SYSTEMS K4 AND D4
  • Sun Jigui,Li Qiao and Liu Xuhua
  • 1995,6(12):742-750 [Abstract(2559)]  [View PDF(2321)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(2285)]  [View PDF(2377)553.77 K]