Author: Ralph D. Jeffords

Publications

Co-authors

Ramesh Bharadwaj

1

Myla Archer

1

Constance L. Heitmeyer

2

Productive Colleagues

Ramesh Bharadwaj

1

Myla Archer

1

Constance L. Heitmeyer

8

Publications

Jeffords, Ralph D., Heitmeyer, Constance L. (2001): An Algorithm for Strengthening State Invariants Generated from Requirements Specifications. In: 5th IEEE International Symposium on Requirements Engineering RE 2001 27-31 August, 2001, Toronto, Canada. pp. 182-193. https://csdl.computer.org/comp/proceedings/re/2001/1125/00/11250182abs.htm

Heitmeyer, Constance L., Jeffords, Ralph D., Bharadwaj, Ramesh, Archer, Myla (2007): RE Theory Meets Software Practice: Lessons from the Software Development Trenches. In: 15th IEEE International Requirements Engineering Conference RE 2007 October 15-19th, 2007, New Delhi, India. pp. 265-268. https://dx.doi.org/10.1109/RE.2007.20