Sean R. Travis

Learn More
Despite their popularity in academia and many claimed benefits, formal techniques are still not widely used in commercial software development. We claim that lack of effective tools is a major factor limiting the adoption of formal techniques. Tools supporting formal techniques must integrate smoothly into the overall software development process. To be(More)
Predictably achieving requirements validity has proven extremely difficult because of the informal nature of this property, and poor communication of application domain knowledge is implicated as a main barrier to increasing this validity. In related work, we developed a methodology that exploits cognitive psychology research to improve this communication.(More)
  • 1