Prerequisites for Deriving Formal Specifications from Natural Language Requirements

摘要

Since English specifications and formal specifications of modules are complementary and since formal specifications require so much effort to write, our work has investigated application of artificial intelligence techniques to aid in the software specification process. The effort for this year concentrated on constructing a small prototype of a system that transforms English descriptions to formal specifications under significant user assistance.