Author: Ralph D. Jeffords
Publication Overview
Publication period start: 2007
Number of co-authors: 3
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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