Writing quality software specifications: the engineer´s challenge

The authors present a methodology, a computer tool set, and writing guidelines that can assist the engineer in developing software specifications. The improved methodology addresses all types of specification inadequacies; the use of special tool sets addresses the technically deficient type of specification; and the adoption of writing guidelines addresses both technically deficient and poorly written types. The authors also discuss future challenges in making software specifications responsive to the needs of a rapidly changing avionics environment