enter search term and/or author name
Parameterized object sensitivity for points-to analysis for Java
Atanas Rountev, Ana Milanova, 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
Mauro Pezzè, Luciano Baresi
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
Jane Ransom, Ian Sommerville
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...