Author: Margaret H. Smith
Publication Overview
Publication period start: 2008
Number of co-authors: 3
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Smith,
Margaret H.,
Holzmann,
Gerard J.,
Etessami,
Kousha
(2001):
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs.
In:
5th IEEE International Symposium on Requirements Engineering RE 2001
27-31 August,
2001,
Toronto, Canada.
pp. 14-22.
https://csdl.computer.org/comp/proceedings/re/2001/1125/00/11250014abs.htm
Smith,
Margaret H.,
Havelund,
Klaus
(2008):
Requirements Capture with RCAT.
In:
16th IEEE International Requirements Engineering Conference RE 2008
8-12 September,
2008,
Barcelona, Catalunya, Spain.
pp. 183-192.
https://dx.doi.org/10.1109/RE.2008.50