Travelled to:1 × Japan
1 × USA
Collaborated with:A.v.Lamsweerde P.Massonet C.Ponsard A.Rifaut J.Molderez P.Stadnik
Talks about:analysi (1) specif (1) requir (1) orient (1) formal (1) faust (1) tool (1) goal (1) anim (1) use (1)
Person: Hung Tran Van
DBLP: Van:Hung_Tran
Contributed to:
20042003Wrote 2 papers:
- RE-2004-VanLMP #animation #requirements
- Goal-Oriented Requirements Animation (HTV, AvL, PM, CP), pp. 218–228.
- RE-2003-RifautMMPSLV #analysis #formal method #named #specification #tool support #using
- FAUST: Formal Analysis Using Specification Tools (AR, PM, JFM, CP, PS, AvL, HTV), p. 350.