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

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

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

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