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
3 × USA
Collaborated with:
H.Yu G.Fan L.Chen X.He H.Zhu I.Bayley Z.Shao L.Yang
Talks about:
aspect (3) model (3) servic (2) comput (2) analyz (2) cloud (2) techniqu (1) strategi (1) function (1) composit (1)

Person: Dongmei Liu

DBLP DBLP: Liu:Dongmei

Contributed to:

PDP 20132013
SEKE 20132013
SEKE 20112011
SEKE 20062006
SEKE 20052005

Wrote 5 papers:

PDP-2013-LiuZB #algebra #case study #in the cloud #specification
A Case Study on Algebraic Specification of Cloud Computing (DL, HZ, IB), pp. 269–273.
SEKE-2013-YuFCL #in the cloud #modelling
Modeling and Analyzing Attack-Defense Strategy of Resource Service in Cloud Computing (HY, GF, LC, DL), pp. 77–82.
SEKE-2011-YuLFC #composition #testing
A Regression Test Technique for Analyzing the Functionalities of Service Composition (HY, DL, GF, LC), pp. 578–582.
SEKE-2006-YuLSH #modelling #using
Modeling Complex Software Systems Using an Aspect Extension of Object-Z (HY, DL, ZS, XH), pp. 11–16.
SEKE-2005-YuLYH #analysis #aspect-oriented #modelling
Formal Aspect-Oriented Modeling and Analysis by Aspect (HY, DL, LY, XH), pp. 169–174.

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.