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: Miao:Huaikou
Contributed to:
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.