Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[PDF][PDF] Self-Adaptation Driven by SysML and Goal Models–A Literature Review
Background: Socio-cyber-physical systems (SCPSs) are a type of cyber-physical systems
with social concerns. Many SCPSs, such as smart homes, must be able to adapt to reach an …
with social concerns. Many SCPSs, such as smart homes, must be able to adapt to reach an …
Adapting requirements models to varying environments
The engineering of high-quality software requirements generally relies on properties and
assumptions about the environment in which the software-to-be has to operate. Such …
assumptions about the environment in which the software-to-be has to operate. Such …
The four types of self-adaptive systems: a metamodel
The basic ideas of self-adaptive systems are not a novelty in computer science. There are
plenty of systems that are able of monitoring their operative context to take run-time …
plenty of systems that are able of monitoring their operative context to take run-time …
Runtime monitoring and resolution of probabilistic obstacles to system goals
A Cailliau, AV Lamsweerde - ACM Transactions on Autonomous and …, 2019 - dl.acm.org
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 …
Requirements engineering
Requirements engineering (RE) aims to ensure that systems meet the needs of their
stakeholders including users, sponsors, and customers. Often considered as one of the …
stakeholders including users, sponsors, and customers. Often considered as one of the …
REASSURE: Requirements elicitation for adaptive socio-technical systems using repertory grid
Context Socio-technical systems are expected to understand the dynamics of the execution
environment and behave accordingly. Significant work has been done on formalizing and …
environment and behave accordingly. Significant work has been done on formalizing and …
Towards a new template for the specification of requirements in semi-structured natural language
Requirements engineering is a systematic and disciplined approach for the specification
and management of software requirements; one of its objectives is to transform the …
and management of software requirements; one of its objectives is to transform the …
Arithmetic semantics of feature and goal models for adaptive cyber-physical systems
Many Cyber-Physical Systems (CPSs) today are self-adaptive, in order to handle frequent
changes in environmental conditions and requirements. In CPSs, goal-based reasoning is …
changes in environmental conditions and requirements. In CPSs, goal-based reasoning is …
Creativity triggers: extension and empirical evaluation of their effectiveness during requirements elicitation
Creativity helps organization to produce novel solutions to complex and sometimes
enduring problems. By breaking traditional ways of looking at a given problem and …
enduring problems. By breaking traditional ways of looking at a given problem and …
Modeling adaptive socio-cyber-physical systems with goals and SysML
AA Anda - 2018 IEEE 26th International Requirements …, 2018 - ieeexplore.ieee.org
Socio-cyber-physical systems (SCPSs) are cyber-physical systems (CPSs) with a socio-
technical system (STS) aspect. Several SCPSs need to adapt dynamically to changing …
technical system (STS) aspect. Several SCPSs need to adapt dynamically to changing …