Reading Amy J. Ko's online book "Cooperative Software Development" and she writes:
"There are some approaches to specifying requirements formally. These techniques allow requirements engineers to automatically identify conflicting requirements, so they don’t end up proposing a design that can’t possibly exist. Some even use systems to make requirements traceable, meaning the high level requirement can be linked directly to the code that meets that requirement."
