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: Liu:Shaoying
Contributed to:
2009
1999
1999
19971993Wrote 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.