chalice
发表于 2025-3-23 12:21:29
http://reply.papertrans.cn/83/8277/827678/827678_11.png
FER
发表于 2025-3-23 15:00:32
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
发表于 2025-3-23 21:17:13
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
背书
发表于 2025-3-23 23:39:39
http://reply.papertrans.cn/83/8277/827678/827678_14.png
无能性
发表于 2025-3-24 05:57:20
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
换话题
发表于 2025-3-24 07:51:12
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
发表于 2025-3-24 14:24:45
http://reply.papertrans.cn/83/8277/827678/827678_17.png
ACTIN
发表于 2025-3-24 17:57:02
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
发表于 2025-3-24 21:53:22
http://reply.papertrans.cn/83/8277/827678/827678_19.png
restrain
发表于 2025-3-25 01:39:36
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