BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × China
Collaborated with:
J.Sun X.Cao C.Yu L.Li
Talks about:
formal (2) architectur (1) abstract (1) softwar (1) servic (1) orient (1) object (1) compon (1) analyz (1) style (1)

Person: Huaikou Miao

DBLP DBLP: Miao:Huaikou

Contributed to:

EDOC 20062006
TOOLS Asia 20002000

Wrote 2 papers:

EDOC-2006-MiaoSC #architecture #formal method
Formalizing and analyzing service oriented software architecture style (HM, JS, XC), pp. 387–390.
TOOLS-ASIA-2000-MiaoYL #component
A Formalized Abstract Component Object Mode — Z-COM (HM, CY, LL), pp. 250–259.

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.