Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 6 Issue 4, Oct. 1997

Specification matching of software components
Amy Moormann Zaremski, Jeannette M. Wing
Pages: 333-369
DOI: 10.1145/261640.261641
Specification matching is a way to compare two software components, based on descriptions of the component's behaviors. In the context of software reuse and library retrieval, it can help determine whether one component can be substituted for...

Hybrid slicing: integrating dynamic information with static analysis
John Howard, Mary Lou Soffa, Rajiv Gupta
Pages: 370-397
DOI: 10.1145/261640.261644
Program slicing is an effective techniqe for narrowing the focus of attention to the relevant parts of a program during the debugging process. However, imprecision is a problem in static slices, since they are based on all possible executions...

Unified versioning through feature logic
Andreas Zeller, Gregor Snelting
Pages: 398-441
DOI: 10.1145/261640.261654
Software configuration management (SCM) suffers from tight coupling between SCM version-ing models and the imposed SCM processes. In order to adapt SCM tools to SCM processes, rather than vice versa, we propose a unified versioning model, the...