Zeus:Related Publications

From Dependability

• 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 (December 2001)

(PDF)

• Hanks, Kimberly S., John C. Knight, and Elisabeth A. Strunk

A Linguistic Analysis of Requirements Errors and Its Application

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, 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, Goteborg, Sweden (July 2001)

(PDF)

• Knight J.C., P.T. Fletcher, and B. Hicks,

Tool Support for Production Use of Formal Techniques

Short paper, FM `99: World Congress on Formal Methods, Toulouse, France, (September 1999)

(PDF)

• Knight, J.C., C.L. DeJong, M.S. Gibble, and L.G. Nakano,

Why Are Formal Methods Not Used More Widely?

Fourth NASA Formal Methods Workshop, Hampton, VA (September 1997)

(PDF)