Titlebook: Requirements Engineering: Foundation for Software Quality; 28th International W Vincenzo Gervasi,Andreas Vogelsang Conference proceedings 2

chalice

FER

Quo Vadis, Explainability? – A Research Roadmap for Explainability Engineeringen discussed as essential for trustworthy software systems and explainability has been identified as a means to achieve all of these three in systems. . Like other quality aspects, explainability must be discovered and treated during the design of those systems. Although explainability has become a

surmount

How Effective Is Automated Trace Link Recovery in Model-Driven Development?he product team perceives benefits. . RT practices such as the establishment and maintenance of trace links are generally carried out manually, thereby being prone to mistakes, vulnerable to changes, time-consuming, and difficult to maintain. Automated tracing tools have been proposed; yet, their ad

背书

无能性

Abbreviation-Expansion Pair Detection for Glossary Term Extractionprocess, many previous tools rely on the assumption that the requirements set has a certain level of quality. . Yet, the parallel detection and correction of quality weaknesses in the context of glossary terms is beneficial to requirements definition. In this paper, we focus on detection of uncontro

换话题

Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation. Temporal logic formulae are the natural choice when it comes to formalise requirements associated to desired system behaviours. . Understanding and mastering temporal logic requires a formal background. Means are therefore needed to make temporal logic formulae interpretable by engineers, domain e

SPER

ACTIN

FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controllerrements elicitation and some of these also support formalisation of requirements in a way that is useful for formal methods. . This paper reports on our experience of using the Formal Requirements Elicitation Tool (FRET) alongside our industrial partner. The use case that we investigate is an aircra

NOCT

restrain

Guided Derivation of Conceptual Models from User Stories: A Controlled Experimenting systems, limited research exists on how user stories are refined into conceptual design. . We study the process of deriving conceptual models from user stories, which is at the basis of information systems development. We focus our attention on the derivation of a holistic view of structural and