Requirements analysis assisted by logic modelling

摘要

Natural-language documents which express the requirements for a computer-communications systems may be symbolized into a logic-based programming language at the beginning of the system development lifecycle. This provides an executable representation upon which automated tools for the analysis phase may operate. A paradigm is proposed for the application of analysis knowledge bases to the generation of a structured specification, and the paradigm is illustrated with an example taken from the field of military communications systems.