William Heaven

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Topics

Noise Cancellation

Fuzzy Neural Network

Nonlinear Functions

Top Venues

Publications

Emmanuel Letier, William Heaven
Requirements modelling by synthesis of deontic input-output automata. ICSE (2013)
William Heaven, Emmanuel Letier
Simulating and optimising design decisions in quantitative goal models. RE (2011)
Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer
Exploiting non-functional preferences in architectural adaptation for self-managed systems. SAC (2010)
William Heaven, Daniel Sykes, Jeff Magee, Jeff Kramer
A Case Study in Goal-Driven Architectural Adaptation. Software Engineering for Self-Adaptive Systems (2009)
Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer
From goals to components: a combined approach to self-management. SEAMS (2008)
Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer
Plan-directed architectural change for autonomous systems. SAVCBS (2007)
William Heaven, Alessandra Russo
Enhancing the Alloy Analyzer with Patterns of Analysis CoRR (2005)
William Heaven, Alessandra Russo
Enhancing the Alloy Analyzer with Patterns of Analysis. WLPE (2005)
William Heaven, Anthony Finkelstein
UML profile to support requirements engineering with KAOS. IEE Proc. Softw. 151 (1) (2004)