Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Towards a research agenda for understanding and managing uncertainty in self-adaptive systems
Despite considerable research efforts on handling uncertainty in self-adaptive systems, a
comprehensive understanding of the precise nature of uncertainty is still lacking. This paper …
comprehensive understanding of the precise nature of uncertainty is still lacking. This paper …
A systematic literature review of istar extensions
Abstract iStar is a general-purpose goal-based modelling language used to model
requirements at early and late phases of software development. It has been used in …
requirements at early and late phases of software development. It has been used in …
Efficient analysis of large adaptation spaces in self-adaptive systems using machine learning
When a self-adaptive system detects that its adaptation goals may be compromised, it needs
to determine how to adapt to ensure its goals. To that end, the system can analyze the …
to determine how to adapt to ensure its goals. To that end, the system can analyze the …
Completeness and Consistency of Tabular Requirements: an SMT-Based Verification Approach
C Menghi, E Balai, D Valovcin… - IEEE Transactions …, 2025 - ieeexplore.ieee.org
Tabular requirements assist with the specification of software requirements using an “if-then”
paradigm and are supported by many tools. For example, the Requirements Table block in …
paradigm and are supported by many tools. For example, the Requirements Table block in …
[HTML][HTML] Mission specification and decomposition for multi-robot systems
Abstract Service robots are increasingly being used to perform missions comprising
dangerous or tedious tasks previously executed by humans. However, their users—who …
dangerous or tedious tasks previously executed by humans. However, their users—who …
Runtime monitoring and resolution of probabilistic obstacles to system goals
Software systems are deployed in environments that keep changing over time. They should
therefore adapt to changing conditions to meet their requirements. The satisfaction rate of …
therefore adapt to changing conditions to meet their requirements. The satisfaction rate of …
Dependability analysis of a system using state-space modeling techniques: a systematic review
There has been considerable development in the domain of dependability engineering and
analysis in recent decades. The quality guidelines related to dependability attributes such as …
analysis in recent decades. The quality guidelines related to dependability attributes such as …
Software requirements selection with incomplete linguistic preference relations
Software requirements (SRs) selection is a multicriteria group decision making (MCGDM)
problem whose objective is to select the SRs from the pool of the requirements on the basis …
problem whose objective is to select the SRs from the pool of the requirements on the basis …
UML and NFR-framework based method for the analysis of the requirements of an information system
Software requirements are the expectation of stakeholders which are identified and modeled
by various requirements elicitation and modeling techniques like traditional methods, goal …
by various requirements elicitation and modeling techniques like traditional methods, goal …
Taming uncertainty in the assurance process of self-adaptive systems: a goal-oriented approach
Goals are first-class entities in a self-adaptive system (SAS) as they guide the self-
adaptation. A SAS often operates in dynamic and partially unknown environments, which …
adaptation. A SAS often operates in dynamic and partially unknown environments, which …