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

Volume 6, Number 1, January 1997

• Pamela Zave, Michael Jackson:
  Four Dark Corners of Requirements Engineering. 1-30
  Electronic Edition (ACM DL) BibTeX
• Louise E. Moser, Y. S. Ramakrishna, G. Kutty, P. M. Melliar-Smith, Laura K. Dillon:
  A Graphical Environment for the Design of Concurrent Real-Time Systems. 31-79
  Electronic Edition (ACM DL) BibTeX
• Laura K. Dillon:
  Task Dependence and Termination in Ada. 80-110
  Electronic Edition (ACM DL) BibTeX

Volume 6, Number 2, April 1997

• Scott Henninger:
  An Evolutionary Approach to Constructing Effective Software Reuse Repositories. 111-140
  Electronic Edition (ACM DL) BibTeX
• Premkumar T. Devanbu, Mark A. Jones:
  The Use of Description Logics in KBSE Systems. 141-172
  Electronic Edition (ACM DL) BibTeX
• Gregg Rothermel, Mary Jean Harrold:
  A Safe, Efficient Regression Test Selection Technique. 173-210
  Electronic Edition (ACM DL) BibTeX

Volume 6, Number 3, July 1997

• Robert Allen, David Garlan:
  A Formal Basis for Architectural Connection. 213-249
  Electronic Edition (ACM DL) BibTeX
• Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun:
  Mobile UNITY: Reasoning and Specification in Mobile Computing. 250-282
  Electronic Edition (ACM DL) BibTeX
• Vincenzo Ambriola, Reidar Conradi, Alfonso Fuggetta:
  Assessing Process-Centered Software Engineering Environments. 283-328
  Electronic Edition (ACM DL) BibTeX
• Alexandre Petrenko:
  Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing". 329-331
  Electronic Edition (ACM DL) BibTeX

Volume 6, Number 4, October 1997

• Amy Moormann Zaremski, Jeannette M. Wing:
  Specification Matching of Software Components. 333-369
  Electronic Edition (ACM DL) BibTeX
• Rajiv Gupta, Mary Lou Soffa, John Howard:
  Hybrid Slicing: Integrating Dynamic Information with Static Analysis. 370-397
  Electronic Edition (ACM DL) BibTeX
• Andreas Zeller, Gregor Snelting:
  Unified Versioning Through Feature Logic. 398-441
  Electronic Edition (ACM DL) BibTeX