William Heaven

According to our database, William Heaven authored at least 9 papers between 2004 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Requirements modelling by synthesis of deontic input-output automata.

Emmanuel Letier, William Heaven

Proceedings of the 35th International Conference on Software Engineering, 2013

2011

Simulating and optimising design decisions in quantitative goal models.

William Heaven, Emmanuel Letier

Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011

2010

Exploiting non-functional preferences in architectural adaptation for self-managed systems.

Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009

A Case Study in Goal-Driven Architectural Adaptation.

William Heaven, Daniel Sykes, Jeff Magee, Jeff Kramer

Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

2008

Object-Oriented Specification:Analysable Patterns & Change Management.

William John Douglas Heaven

PhD thesis, 2008

From goals to components: a combined approach to self-management.

Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer

Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008

2007

Plan-directed architectural change for autonomous systems.

Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

2005

Enhancing the Alloy Analyzer with Patterns of Analysis.

William Heaven, Alessandra Russo

Proceedings of the 15th International Workshop on Logic Programming Environments, 2005

2004

UML profile to support requirements engineering with KAOS.

William Heaven, Anthony Finkelstein

IEE Proc. Softw., 2004