Travelled to:1 × India
2 × USA
Collaborated with:M.Bass R.S.Sangwan C.M.Holloway B.L.D.Vito D.Guaspari S.Bishop M.Fairbairn M.Norrish P.Sewell K.Wansbrough
Talks about:architectur (1) implement (1) distribut (1) project (1) fiction (1) symbol (1) specif (1) method (1) global (1) formal (1)
Person: Michael Smith
DBLP: Smith:Michael
Contributed to:
2007
2006
1994Wrote 3 papers:
- WICSA-2007-BassSS #architecture #design #distributed
- Architecture Design for Globally Distributed Projects (MB, RSS, MS), p. 35.
- POPL-2006-BishopFNSSW #implementation #logic #specification #testing
- Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations (SB, MF, MN, PS, MS, KW), pp. 55–66.
- TRI-Ada-1994-HollowayVGS #formal method
- Formal Methods Fact vs. Fiction (CMH, BLDV, DG, MS), pp. 256–258.