Margaret H. Smith

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2001
Publication period end
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., 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. http://dx.doi.org/10.1109/RE.2008.50

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. http://csdl.computer.org/comp/proceedings/re/2001/1125/00/11250014abs.htm