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 × 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 DBLP: Fu:Yujian

Contributed to:

SEKE 20082008
SEKE 20072007
SEKE 20062006
SEKE 20052005
SEKE 20032003

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

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.