Travelled to:1 × Italy
1 × Switzerland
1 × USA
Collaborated with:E.Letier D.Sykes J.Magee J.Kramer
Talks about:model (2) architectur (1) synthesi (1) function (1) automata (1) quantit (1) optimis (1) exploit (1) deontic (1) system (1)
Person: William Heaven
DBLP: Heaven:William
Contributed to:
2013
2011
2010Wrote 3 papers:
- ICSE-2013-LetierH #automaton #modelling #requirements #synthesis
- Requirements modelling by synthesis of deontic input-output automata (EL, WH), pp. 592–601.
- RE-2011-HeavenL #design #modelling #optimisation #simulation
- Simulating and optimising design decisions in quantitative goal models (WH, EL), pp. 79–88.
- SAC-2010-SykesHMK #adaptation #architecture #non-functional #self
- Exploiting non-functional preferences in architectural adaptation for self-managed systems (DS, WH, JM, JK), pp. 431–438.