Ph.D. George Mason University, 1999, Information Technology
Verification and validation; requirements engineering; requirements traceability; software maintainability; software analysis; static analysis; software testing.
A paper Hayes co-authored for IEEE International Conference on Requirements Engineering 2010 was selected as one of the "Five Best Papers" and an extended version was included in a special issue of the Requirements Engineering Journal.
Hayes is examining the role of the human analyst in performing assisted requirements tracing. Automated tracing tools generate links between textual artifacts of the software engineering process, such as between requirements and test cases. In some applications, such as for safety-critical software systems, a human must "certify" the traceability links. It seems intuitive that humans would do a good job of certifying such links: "this is a link", "this is not a link." Our research to date shows that this is not necessarily the case.
University of Kentucky
College of Engineering
Department of Computer Science
228 James F. Hardymon Building (JFHB)
Lexington, Kentucky 40506-0495
Office Phone: (859) 257-3171
Office Fax: (859) 323-3740
Office Hours: T 1:00-2:00, TR 9:30-10:00 (Robotics 514D)
Email: hayes 'at' cs.uky.edu
NSF Biography - View in full screen below or download here (right click save as)