BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Heaven:William

Contributed to:

ICSE 20132013
RE 20112011
SAC 20102010

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.