It is a paradigm of software engineering, which is especially popular among researchers involved in automatic programming, that a complete representation of the problem domain (called requirement theory) is repeatedly...
详细信息
It is a paradigm of software engineering, which is especially popular among researchers involved in automatic programming, that a complete representation of the problem domain (called requirement theory) is repeatedly refined by correctness-preserving transformations into the program itself. The design of a requirement theory has to allow for such a design methodology. We argue that currently available languages intended to yield requirement theories fail to meet these demands. In this paper, we present a logic-based requirement language, which can be used to specify the requirements for software systems under the emerging methodology. The language presented here is based on first-order predicate logic but augments standard first-order logic by introducing hierarchies and exceptions to its generalisations, in order to allow for a more natural description of the problem domain. The proposed requirement language is valid and can be determined to be internally consistent. With the support of the requirement language, software development using new software engineering paradigms can be easily achieved.
暂无评论