enter search term and/or author name
Parameterized object sensitivity for points-to analysis for Java
Ana Milanova, Atanas Rountev, Barbara G. Ryder
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è
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
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...