Journal of Systems and Software (JSS), Volume 40

Volume 40, Number 1, January 1998

• Robert L. Glass:
  Editor's corner yet another date crisis -- Y2k is only the beginning. 1-2
  Electronic Edition (link) BibTeX
• Frank Land:
  A contingency based approach to requirements elicitation and systems development. 3-6
  Electronic Edition (link) BibTeX
• Annemieke Craig, Julie Fisher, Angela Scollary, Mohini Singh:
  Closing the gap: Women education and information technology courses in Australia. 7-15
  Electronic Edition (link) BibTeX
• David Binkley, James R. Lyle:
  Application of the pointer state subgraph to static program slicing. 17-27
  Electronic Edition (link) BibTeX
• Richard Lai, X. Li:
  Applying a new decomposition method to verify communication protocols. 29-50
  Electronic Edition (link) BibTeX
• Damien De Paoli, Andrzej M. Goscinski:
  The RHODOS migration facility. 51-65
  Electronic Edition (link) BibTeX
• Arun Rai, Haidong Song, Marvin D. Troutt:
  Software quality assurance: An analytical survey and research prioritization. 67-83
  Electronic Edition (link) BibTeX
• Ido Millet:
  Normalization on the fly. 85-88
  Electronic Edition (link) BibTeX
• Biographies. 89-90
  Electronic Edition (link) BibTeX

Volume 40, Number 2, February 1998

• Robert L. Glass:
  Editor's corner: How long do information systems last? 91-
  Electronic Edition (link) BibTeX
• Kai-Yuan Cai:
  On estimating the number of defects remaining in software. 93-114
  Electronic Edition (link) BibTeX
• Shinji Kusumoto, Atsushi Chimura, Tohru Kikuno, Ken-ichi Matsumoto, Yukio Mohri:
  A promising approach to two-person software review in educational environment. 115-123
  Electronic Edition (link) BibTeX
• Tom P. Ajith, C. Siva Ram Murthy:
  Algorithms for reliability-oriented module allocation in distributed computing systems. 125-138
  Electronic Edition (link) BibTeX
• Agostino Poggi, Giulio Destri:
  Using PVM to develop a distributed object-oriented language for heterogeneous processing. 139-150
  Electronic Edition (link) BibTeX
• Armin R. Mikler, Johnny S. K. Wong, Vasant Honavar:
  An object oriented approach to simulating large communication networks. 151-164
  Electronic Edition (link) BibTeX
• Sun-Jen Huang, Richard Lai:
  On measuring the complexity of an estelle specification. 165-181
  Electronic Edition (link) BibTeX
• Frank Land:
  From IT application to organizational transformation. 183-184
  Electronic Edition (link) BibTeX
• Biographies. 185-186
  Electronic Edition (link) BibTeX

Volume 40, Number 3, March 1998

• Hossein Saiedian:
  Guest editor's corner research directions in formal methods technology transfer. 187-189
  Electronic Edition (link) BibTeX
• Michael Jackson:
  Formal methods and traditional engineering. 191-194
  Electronic Edition (link) BibTeX
• David Lorge Parnas:
  "Formal methods" technology transfer will fail. 195-198
  Electronic Edition (link) BibTeX
• Steve M. Easterbrook, John R. Callahan:
  Formal methods for verification and validation of partial specifications: A case study. 199-210
  Electronic Edition (link) BibTeX
• Jim Armstrong:
  Industrial integration of graphical and formal specifications. 211-225
  Electronic Edition (link) BibTeX
• Ulrich Ultes-Nitsche:
  Application of formal verification and behaviour abstraction to the service interaction problem in intelligent networks. 227-248
  Electronic Edition (link) BibTeX
• Lalita Jategaonkar Jagadeesan, Lawrence G. Votta, Adam A. Porter, Carlos Puchol, J. Christopher Ramming:
  Specification-based testing of reactive software: A case study in technology transfer. 249-262
  Electronic Edition (link) BibTeX
• Sara Jones, David Till, Ann M. Wrightson:
  Formal methods and requirements engineering: Challenges and synergies. 263-273
  Electronic Edition (link) BibTeX
• Baudouin Le Charlier, Pierre Flener:
  Specifications are necessarily informal or: Some more myths of formal methods. 275-296
  Electronic Edition (link) BibTeX
• Biographies. 297-299
  Electronic Edition (link) BibTeX