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 × France
1 × United Kingdom
2 × USA
Collaborated with:
J.S.Dong J.A.McDermid H.M.Chavez W.Shen T.Tamai S.Nakajima
Talks about:
formal (3) specif (2) applic (2) test (2) sofl (2) methodolog (1) ownership (1) industri (1) approach (1) softwar (1)

Person: Shaoying Liu

DBLP DBLP: Liu:Shaoying

Contributed to:

SAC 20092009
World Congress on Formal Methods 19991999
IFM 19991999
RE 19971997
SAC 19931993

Wrote 6 papers:

SAC-2009-ChavezSL #approach #detection #uml
An approach to detection of UML-based ownership violation (HMC, WS, SL), pp. 541–542.
SAC-2009-LiuTN #assurance #component #integration #overview #quality #specification #testing
Integration of formal specification, review, and testing for software component quality assurance (SL, TT, SN), pp. 415–421.
FM-v1-1999-Liu #consistency #specification #testing #verification
Verifying Consistency and Validity of Formal Specifications by Testing (SL), pp. 896–914.
IFM-1999-DongL #semantics
An Object Semantic Model of SOFL (JSD, SL), pp. 189–208.
RE-1997-Liu #industrial #named
SOFL: A Formal Engineering Methodology for Industrial Applications (SL), p. 41.
SAC-1993-LiuM #set
Dynamic Sets and Their Application in VDM (SL, JAM), pp. 187–192.

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.