Travelled to:1 × China
1 × Sweden
Collaborated with:R.G.Dromey K.Ahmed M.A.H.Newton A.Sattar
Talks about:chang (2) formalis (1) behavior (1) requir (1) integr (1) formal (1) design (1) tree (1) path (1)
Person: Lian Wen
DBLP: Wen:Lian
Contributed to:
2014
2004Wrote 2 papers:
- ASE-2014-AhmedNWS #behaviour #formal method #integration
- Formalisation of the integration of behavior trees (KA, MAHN, LW, AS), pp. 779–784.
- SEFM-2004-WenD #design #requirements
- From Requirements Change to Design Change: A Formal Path (LW, RGD), pp. 104–113.