An experimental natural-language processor for generating data type specifications

Vita.It is widely recognized that a specification of a system's intended action is required before the implementation begins. This aids in understanding the concept involved, and increases the likelihood that the implemented system will perform as expected. Due to the lack of comprehensive specification tools, design specification are frequently either omitted, or are done superficially. There exists the need for such a specification tool to aid in the development of quality software. The utility of specification language is investigated. A formal algebraic notation suitable for describing data specifications is presented, and an automatic programming system, utilizing natural language inputs, is developed. The system serves to demonstrate the feasibility of generating specification using English as a discourse medium