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 × USA
Collaborated with:
X.He W.Sun G.Argote-Garcia Y.Deng
Talks about:
model (2) architectur (1) middlewar (1) protocol (1) communic (1) softwar (1) analysi (1) formal (1) design (1) better (1)

Person: Tianjun Shi

DBLP DBLP: Shi:Tianjun

Contributed to:

SEKE 20062006
WICSA 20022002

Wrote 2 papers:

SEKE-2006-SunSADH #analysis #design #formal method #middleware #modelling
Achieving a Better Middleware Design through Formal Modeling and Analysis (WS, TS, GAG, YD, XH), pp. 463–468.
WICSA-2002-ShiH #architecture #communication #modelling #protocol #using
Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM (TS, XH), pp. 63–77.

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.