Learn More
The relatively scant use of formal techniques in software development is the result, in part, of a lack of suitable support tools. Many tools have been developed that provide novel analysis capabilities but lack basic yet commonplace facilities which are essential in production software development. More importantly, many existing tools for the development(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)
All necessary clearances for the publication of this paper have been obtained. If accepted, the author will prepare the final manuscript in time for inclusion in the conference proceedings and will present the paper at the conference. Abstract. A disproportionate number of defects in the software of high-consequence systems can be traced to invalid(More)
  • 1