Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 14 Issue 1, January 2005

Parameterized object sensitivity for points-to analysis for Java
Ana Milanova, Atanas Rountev, Barbara G. Ryder
Pages: 1-41
DOI: 10.1145/1044834.1044835
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. We present object sensitivity, a new form of context sensitivity for flow-insensitive points-to...

Formal interpreters for diagram notations
Luciano Baresi, Mauro Pezzè
Pages: 42-84
DOI: 10.1145/1044834.1044836
The article proposes an approach for defining extensible and flexible formal interpreters for diagram notations with significant dynamic semantics. More precisely, it addresses semi-formal diagram notations that have precisely-defined syntax, but...

An empirical study of industrial requirements engineering process assessment and improvement
Ian Sommerville, Jane Ransom
Pages: 85-117
DOI: 10.1145/1044834.1044837
This article describes an empirical study in industry of requirements engineering process maturity assessment and improvement. Our aims were to evaluate a requirements engineering process maturity model and to assess if improvements in requirements...