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