Author: Margaret H. Smith

Publications

Co-authors

Gerard J. Holzmann

1

Kousha Etessami

1

Klaus Havelund

1

Productive Colleagues

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