Publications

Published or Accepted

• Wasson, Kimberly S.
  A Case Study in Systematic Improvement of Language for Requirements.
  14th IEEE International Requirements Engineering Conference (RE'06), Minneapolis, MN, USA (September, 2006)
  (PDF)
• Wasson, Kimberly S.
  CLEAR Requirements: Improving Validity Using Cognitive Linguistic Elicitation and Representation.
  Doctoral Dissertation, University of Virginia Department of Computer Science, Charlottesville, VA, USA (May 2006)
  (PDF)
• Wasson, Kimberly S., Kendra N. Schmid, Robyn R. Lutz, John C. Knight
  Using Occurrence Properties of Defect Reporting Data to Improve Requirements.
  13th IEEE International Requirements Engineering Conference (RE'05), Paris, France (August, 2005)
  (PDF)
• Wasson, Kimberly S.
  Requirements Metrics: Scaling Up.
  RE Workshop on Comparative Evaluation in Requirements Engineering (CERE'04), Kyoto, Japan (September, 2004)
  (PDF)
• Knight, John C., Elisabeth A. Strunk, William S. Greenwell, Kimberly S. Wasson
  Specification and Analysis of Data for Safety-Critical Systems.
  22nd International System Safety Conference (ISSC'04), Providence RI (August 2004)
  (PDF)
• Wasson, Kimberly S., John C. Knight, Elisabeth A. Strunk, Sean R. Travis
  Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development.
  22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2003), Edinburgh, Scotland (September, 2003)
  (PDF)
• Wasson, Kimberly S.
  On Classification in the Study of Failure, and a Challenge to Classifiers.
  2003 Workshop on the Investigation and Reporting of Incidents and Accidents (IRIA'03), Williamsburg, VA, USA (September, 2003)
  (PDF)
• Wasson, Kimberly S.
  Comparative Evaluation: Implications from the Multidisciplinary Nature of Requirements.
  RE Workshop on Comparative Evaluation in Requirements Engineering (CERE'03), Monterey Bay, CA, USA (September, 2003)
  (PDF)
• Hanks, Kimberly S., John C. Knight
  Improving Communication of Critical Domain Knowledge in High-Consequence Software Development: an Empirical Study.
  21st International System Safety Conference (ISSC'03), Ottawa, Canada (August, 2003)
  (PDF) Best Paper Award Winner
• Hanks, Kimberly S., John C. Knight, C. Michael Holloway
  The Role of Natural Language in Accident Investigation and Reporting Guidelines.
  2002 Workshop on the Investigation and Reporting of Incidents and Accidents (IRIA'02), Glasgow, Scotland (July, 2002)
  (PDF)
• Hanks, Kimberly, S., John C. Knight
  In Search of Best Practices for the Use of Natural Language in the Development of High-Consequence Systems.
  Fastabstracts, International Conference of Dependable Systems and Networks (DSN'02), Bethesda, MD (June, 2002)
  (PDF)
• Hanks, Kimberly S., John C. Knight, and Elisabeth A. Strunk
  Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction.
  Software Engineering Workshop, NASA Goddard Space Flight Center, Greenbelt, MD (November, 2001)
  (PDF)
• Hanks, Kimberly S., John C. Knight, and Elisabeth A. Strunk
  A Linguistic Analysis of Requirements Errors and Its Application.
  University of Virginia, Department of Computer Science, Technical Report CS-2001-30 (November 2001)
  (PDF)
• Knight, John C., Kimberly S. Hanks, and Sean R. Travis
  Tool Support for Production Use of Formal Techniques.
  International Symposium on Software Reliability Engineering (ISSRE'01), Hong Kong (November 2001)
  (PDF)
• Hanks, Kimberly, S., John C. Knight
  Improving Dependability through the Application of Rigorous Theoretical Linguistics to Requirements Capture.
  Fastabstracts: International Conference of Dependable Systems and Networks (DSN'01), Goteborg, Sweden (July, 2001)
  (PDF)

Invited

• Wasson, Kimberly S.
  CLEAR Requirements: Improving Software Validity Using Cognitive Linguistic Elicitation and Representation.
  Invited talk presented through the Colloquium Series of the Department of Computer Science at the
  College of William and Mary, Williamsburg, VA (November 2004)
  
• Hanks, Kimberly S.
  In Search of Best Practices: Natural Language in the Development of High-Consequence Systems.
  Invited talk presented through the Lecture Series on Digital Systems Safety at the
  Institute for Computer Applications in Science and Engineering (ICASE),
  NASA Langley Research Center, Hampton, VA (July 2002)
  

In Progress

• Wasson, Kimberly S.
  Partial Reductive Paraphrase: Toward More Transparent Requirements.
  Under revision.
• Wasson, Kimberly S.
  The CLEAR Requirements Method: Cognitive Linguistic Elicitation and Representation.
  In draft.