Travelled to:1 × Republic of China
4 × USA
Collaborated with:X.He Z.Dong G.Argote-Garcia L.Shi P.J.Clarke
Talks about:architectur (2) translat (2) approach (2) sam (2) statechart (1) methodolog (1) framework (1) hierarch (1) transit (1) softwar (1)
Person: Yujian Fu
DBLP: Fu:Yujian
Contributed to:
20082007200620052003Wrote 5 papers:
- SEKE-2008-Argote-GarciaCHFS #approach #architecture #formal method
- A Formal Approach for Translating a SAM Architecture to PROMELA (GAG, PJC, XH, YF, LS), pp. 440–447.
- SEKE-2007-FuDASH #approach #correctness #java #validation
- An Approach to Validating Translation Correctness From SAM to Java (YF, ZD, GAG, LS, XH), p. 45–?.
- SEKE-2006-DongFH #component #framework #modelling
- A Framework for Component-based System Modeling (ZD, YF, XH), pp. 290–295.
- SEKE-2005-FuDH #architecture #automation #design
- A Methodology of Automated Realization of a Software Architecture Design (YF, ZD, XH), pp. 412–417.
- SEKE-2003-DongFH #diagrams #statechart
- Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams (ZD, YF, XH), pp. 150–157.