Natural language is one of the most important means of human communication. It enables
us to express our will, to exchange thoughts, and to document our knowledge in written …

As noted by Wilkinson (Wil95]), aggregation as a process and as a sub eld of NLG has some
foundational and conceptual di culties:\The small quantity of previous work which deals with …

The content of real‐world databases, knowledge bases, database models, and formal
specifications is often highly redundant and needs to be aggregated before these …

Modern embedded systems are based on Multiprocessor-Systems-on-Chip (MPSoCs) to
meet the strict timing deadlines of multiple applications. MPSoC resources must be utilized …

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

Conceptual schemas of information systems can be tested. The testing of conceptual
schemas may be an important and practical means for their validation. We present a list of …

Systems engineering, in particular in the automotive domain, needs to cope with the
massively increasing numbers of requirements that arise during the development process …

Defining a domain model is a costly and error-prone process. It requires that the knowledge
possessed by domain experts be suitably captured by modeling experts. Eliciting what is in …

We discuss the part of the requirement specification process which is located between the
textual requirements definition and the semi-formal diagrams of the requirements …

This paper introduces a way of modeling the dynamic aspects of an Information and
Communication System in which all the occurring events are listed and ordered in time …