Travelled to:1 × Germany
1 × Italy
Collaborated with:A.M.D.Moreira T.Wilson S.Maharaj
Talks about:verif (2) techniqu (1) descript (1) configur (1) approach (1) softwar (1) omnibus (1) flexibl (1) analysi (1) polici (1)
Person: Robert G. Clark
DBLP: Clark:Robert_G=
Contributed to:
2005
1994Wrote 2 papers:
- SEFM-2005-WilsonMC #approach #configuration management #flexibility #policy #verification
- Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification (TW, SM, RGC), pp. 150–159.
- ECOOP-1994-MoreiraC #analysis #object-oriented
- Combining Object-Oriented Analysis and Formal Description Techniques (AMDM, RGC), pp. 344–364.