Author: Margaret H. Smith

Publications

Publication period start: 2008
Number of co-authors: 3

Co-authors

Number of publications with favourite co-authors
Gerard J. Holzmann
1
Kousha Etessami
1
Klaus Havelund
1

Productive Colleagues

Most productive colleagues in number of publications
Kousha Etessami
1
Klaus Havelund
1
Gerard J. Holzmann
4

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