1 × Canada
1 × South Africa
1 × Spain
1 × USA
K.Havelund G.J.Holzmann A.Groce K.Etessami
softwar (2) requir (2) captur (2) event (2) constraint (1) program (1) practic (1) graphic (1) verifi (1) specif (1)
Person: Margaret H. Smith
Wrote 4 papers:
- ICSE-2010-GroceHS #evolution #specification #testing
- From scripts to specifications: the evolution of a flight software testing effort (AG, KH, MHS), pp. 129–138.
- RE-2008-SmithH #requirements
- Requirements Capture with RCAT (MHS, KH), pp. 183–192.
- RE-2001-SmithHE #constraints #editing #logic #requirements #source code #visual notation
- Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs (MHS, GJH, KE), pp. 14–22.
- ICSE-1999-HolzmannS #verification
- A Practical Method for Verifying Event-Driven Software (GJH, MHS), pp. 597–607.