The use of logic in identifying and analyzing inconsistency in requirements from multiple
stakeholders has been found to be effective in a number of studies. Nonmonotonic logic is a …

This paper describes NL-OOPS, a CASE tool that supports requirements analysis by
generating object oriented models from natural language requirements documents. The full …

The importance of requirements, which in practice often means natural language
requirements, for a successful software project cannot be underestimated. Although …

The design and development of process-aware information systems is often supported by
specifying requirements as business process models. Although this approach is generally …

In recent literature it is commonly agreed that the first phase of the software development
process is still an area of concern. Furthermore, while software technology has been …

This paper presents Circe, an environment for the analysis of natural language
requirements. Circe is first presented in terms of its architecture, based on a transformational …

In this paper we address the problem of redundancy in text generation. Redundancy
typically occurs when the material selected for communication contains information that is …

Companies increasingly use business process modeling for documenting and redesigning
their operations. However, due to the size of such modeling initiatives, they often struggle …

Process Modeling is a widely used concept for understanding, documenting and also
redesigning the operations of organizations. The validation and usage of process models is …

In this paper, we report on our experiences of using lightweight formal methods for the
partial validation of natural language requirements documents. We describe our approach to …