BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × South Africa
1 × Spain
1 × USA
Collaborated with:
K.Havelund G.J.Holzmann A.Groce K.Etessami
Talks about:
softwar (2) requir (2) captur (2) event (2) constraint (1) program (1) practic (1) graphic (1) verifi (1) specif (1)

Person: Margaret H. Smith

DBLP DBLP: Smith:Margaret_H=

Contributed to:

ICSE 20102010
RE 20082008
RE 20012001
ICSE 19991999

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.