ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 7

Volume 7, Number 1, January 1998

• John C. Doppke, Dennis Heimbigner, Alexander L. Wolf:
  Software Process Modeling and Execution Within Virtual Environments. 1-40
  
• Adam A. Porter, Harvey P. Siy, Audris Mockus, Lawrence G. Votta:
  Understanding the Sources of Variation in Software Inspections. 41-79
  
• Luciano Baresi, Mauro Pezzè:
  Toward Formalizing Structured Analysis. 80-107
  

Volume 7, Number 2, April 1998

• Robert W. Bowdidge, William G. Griswold:
  Supporting the Restructuring of Data Abstractions Through Manipulation of a Program Visualization. 109-157
  
• Gail C. Murphy, David Notkin, William G. Griswold, Erica S.-C. Lan:
  An Empirical Study of Static Call Graph Extractors. 158-191
  
• James J. Hunt, Kiem-Phong Vo, Walter F. Tichy:
  Delta Algorithms: An Empirical Analysis. 192-214
  

Volume 7, Number 3, July 1998

• Jonathan E. Cook, Alexander L. Wolf:
  Discovering Models of Software Processes from Event-Based Data. 215-249
  
• Huo Yan Chen, T. H. Tse, F. T. Chan, Tsong Yueh Chen:
  In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs. 250-295
  
• Judith Crow, Ben L. Di Vito:
  Formalizing Space Shuttle Software Requirements: Four Case Studies. 296-332
  
• Robert Allen, David Garlan:
  Errata: A Formal Basis for Architectural Connection. 333-334
  

Volume 7, Number 4, October 1998

• Anthony Hunter, Bashar Nuseibeh:
  Managing Inconsistent Specifications: Reasoning, Analysis, and Action. 335-367
  
• Maria Letizia Jaccheri, Gian Pietro Picco, Patricia Lago:
  Eliciting software Process Models with the E³ Language. 368-410
  
• Alfonso Fuggetta, Luigi Lavazza, Sandro Morasca, Stefano Cinti, Giandomenico Oldano, Elena Orazi:
  Applying GQM in an Industrial Software Factory. 411-448
  
• James J. Hunt, Walter F. Tichy:
  Addendum to "Delta Algorithms: An Empirical Analysis". 449