This paper surveys the application of artificial intelligence approaches to the software
engineering processes. These approaches can have a major impact on reducing the time to …

Artificial intelligences techniques such as knowledge based systems, neural networks, fuzzy
logic and data mining have been advocated by many researchers and developers as the …

Medical device regulators such as the US Food and Drug Administration (FDA) aim to make
sure that medical devices are reasonably safe before entering the market. To expedite the …

The paper is concerned with the practical use of formal techniques to contribute to the risk
analysis of a new neonatal dialysis machine. The described formal analysis focuses on the …

Automaton-based representations of task knowledge play an important role in control and
planning for sequential decision-making problems. However, obtaining the high-level task …

Natural language and databases are core components of information systems. They are
related to each other because they share the same purpose: the conceptualization aspects …

Controlled languages are regimented fragments of natural languagedesigned to make the
processing of natural language more efficient andreliable. This paper defines a controlled …

We present a proposal of a quality model for natural language requirements that
concentrates on linguistic properties of requirements documents. We deploy the quality …

Kurzfassung Requirements Engineering ist die Achillesferse des gesamten Prozesses der
Softwareentwicklung. Es erfordert Interaktion vieler Beteiligten und beinhaltet nicht nur …

A software system's requirements are often specified by textual use cases due to the latter's
concrete and narrative style of expressions. However, they have limitation in the synthesis of …