Research Areas: Software Requirements, Verification And Validation
Departments: Computer Science
Primary Investigator: Jane Hayes
Requirements are the backbone of the software development process and are often flawed. It is common for requirements to be inconsistent, externally or internally. There is a lack of non-manual techniques for identifying such inconsistency, particularly