Travelled to:2 × USA
Collaborated with:W.E.Howden I.Miyamoto
Talks about:structur (1) softwar (1) sequenc (1) analysi (1) toward (1) requir (1) linear (1) verif (1) valid (1) event (1)
Person: G. M. Shi
DBLP: Shi:G=_M=
Contributed to:
1996
1990Wrote 2 papers:
- ISSTA-1996-HowdenS #analysis #linear #sequence
- Linear and Structural Event Sequence Analysis (WEH, GMS), pp. 98–106.
- SEKE-1990-ShiM #requirements #towards #validation #verification
- Toward Verification and Validation of Software Requirements (GMS, IM), pp. 251–259.