 | 2011 |
| 7 |  | William Heaven,
Emmanuel Letier:
Simulating and optimising design decisions in quantitative goal models.
RE 2011: 79-88 |
| 2010 |
| 6 |  | Daniel Sykes,
William Heaven,
Jeff Magee,
Jeff Kramer:
Exploiting non-functional preferences in architectural adaptation for self-managed systems.
SAC 2010: 431-438 |
| 2009 |
| 5 |  | William Heaven,
Daniel Sykes,
Jeff Magee,
Jeff Kramer:
A Case Study in Goal-Driven Architectural Adaptation.
Software Engineering for Self-Adaptive Systems 2009: 109-127 |
| 2007 |
| 4 |  | Daniel Sykes,
William Heaven,
Jeff Magee,
Jeff Kramer:
Plan-directed architectural change for autonomous systems.
SAVCBS 2007: 15-21 |
| 2005 |
| 3 |  | William Heaven,
Alessandra Russo:
Enhancing the Alloy Analyzer with Patterns of Analysis.
WLPE 2005: 14-30 |
| 2 |  | William Heaven,
Alessandra Russo:
Enhancing the Alloy Analyzer with Patterns of Analysis
CoRR abs/cs/0508109: (2005) |
| 2004 |
| 1 |  | William Heaven,
Anthony Finkelstein:
UML profile to support requirements engineering with KAOS.
IEE Proceedings - Software 151(1): 10-28 (2004) |