Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques Steven WoodsQiang Yang OriginalPaper Pages: 147 - 181
Lightweight Formalisation in Support of Requirements Engineering Jane HeskethDavid RobertsonAlan Bundy OriginalPaper Pages: 183 - 210
A Rule-Based Approach to Developing Software Development Prediction Models Prodromos D. ChatzoglouLinda A. Macaulay OriginalPaper Pages: 211 - 243