| 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) | |
| 1 | Anthony Finkelstein | [1] |
| 2 | Jeff Kramer | [4] [5] |
| 3 | Jeff Magee (Jeff N. Magee) | [4] [5] |
| 4 | Alessandra Russo | [2] [3] |
| 5 | Daniel Sykes | [4] [5] |