Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 17 Issue 1, December 2007

David Notkin
Article No.: 1
DOI: 10.1145/1314493.1314494

An empirical study of slice-based cohesion and coupling metrics
Timothy M. Meyers, David Binkley
Article No.: 2
DOI: 10.1145/1314493.1314495

Software reengineering is a costly endeavor, due in part to the ambiguity of where to focus reengineering effort. Coupling and Cohesion metrics, particularly quantitative cohesion metrics, have the potential to aid in this identification and to...

Identifying Crosscutting Concerns Using Fan-In Analysis
Marius Marin, Arie Van Deursen, Leon Moonen
Article No.: 3
DOI: 10.1145/1314493.1314496

Aspect mining is a reverse engineering process that aims at finding crosscutting concerns in existing systems. This article proposes an aspect mining approach based on determining methods that are called from many different places, and hence have...

Efficient Analysis of DynAlloy Specifications
Marcelo F. Frias, Carlos G. Lopez Pombo, Juan P. Galeotti, Nazareno M. Aguirre
Article No.: 4
DOI: 10.1145/1314493.1314497

DynAlloy is an extension of Alloy to support the definition of actions and the specification of assertions regarding execution traces. In this article we show how we can extend the Alloy tool so that DynAlloy specifications can be automatically...