William Heaven



Research Associate
Distributed Software Engineering
Department of Computing
Imperial College London
180 Queen's Gate
London
SW7 2AZ

mail: william dot heaven@imperial.ac.uk

tel: +44 (0)20 7594 8449
fax: +44 (0)20 7581 8024


Some Publications    |    Teaching    |    Background   

william heaven




Daniel Sykes, William Heaven, Jeff Magee and Jeff Kramer, Exploiting Non-Functional Preferences in Architectural Adaptation for Self-Managed Systems, 5th Dependable and Adaptive Distributed Systems (DADS) Track of the 25th ACM Symposium on Applied Computing (SAC), Sierre, Switzerland (2010) [to appear]

William Heaven, Daniel Sykes, Jeff Magee and Jeff Kramer, A Case Study in Goal-Driven Architectural Adaptation, book chapter in Software Engineering for Self-Adaptive Systems (LNCS), (2009)

William Heaven and Alessandra Russo, Using Analysis Patterns To Uncover Specification Errors, SIGSOFT/FSE Workshop on Specification and Verification of Component-Based Systems (SAVCBS), Atlanta, GA, USA (2008)

Daniel Sykes, William Heaven, Jeff Magee and Jeff Kramer, From Goals To Components: A Combined Approach To Self-Management, ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Leipzig, Germany (2008)

Daniel Sykes, William Heaven, Jeff Magee and Jeff Kramer, Plan-Directed Architectural Change For Autonomous Systems, ESEC/FSE Workshop on Specification and Verification of Component-Based Systems (SAVCBS), Dubrovnik, Croatia, (2007)

William Heaven and Alessandra Russo, Enhancing the Alloy Analyzer with Patterns of Analysis, ICLP Workshop on Logic-Based Methods in Programming Environments (WLPE), Sitges, Spain, (2005)

William Heaven and Anthony Finkelstein, A UML Profile to Support Requirements Engineering with KAOS, IEE Proceedings - Software, vol 151, 1, pp 10-28 (2004)

UWA Consortium, The UWA Approach to Modelling Ubiquitous Web Applications, IST Mobile & Wireless Telecommunications Summit, Thessaloniki, Greece, (2002)

UWA Consortium, Ubiquitous Web Applications, e2002: eBusiness and eWork Conference, Prague, Czech Republic, (2002)