2007 |
4 | EE | Daniel Sykes,
William Heaven,
Jeff Magee,
Jeff Kramer:
Plan-directed architectural change for autonomous systems.
SAVCBS 2007: 15-21 |
2005 |
3 | EE | William Heaven,
Alessandra Russo:
Enhancing the Alloy Analyzer with Patterns of Analysis.
WLPE 2005: 14-30 |
2 | EE | William Heaven,
Alessandra Russo:
Enhancing the Alloy Analyzer with Patterns of Analysis
CoRR abs/cs/0508109: (2005) |
2004 |
1 | EE | William Heaven,
Anthony Finkelstein:
UML profile to support requirements engineering with KAOS.
IEE Proceedings - Software 151(1): 10-28 (2004) |