Automatic Requirements Engineering: Activities, Methods, Tools, and Domains–A Systematic Literature Review
Requirements engineering (RE) is an initial activity in the software engineering process that
involves many users. The involvement of various users in the RE process raises ambiguity …
involves many users. The involvement of various users in the RE process raises ambiguity …
Conceptualization, measurement, and application of semantic transparency in visual notations: A systematic literature review
S Kuhar, G Polančič - Software and Systems Modeling, 2021 - Springer
Numerous visual notations are present in technical and business domains. Notations have
to be cognitively effective to ease the planning, documentation, and communication of the …
to be cognitively effective to ease the planning, documentation, and communication of the …
Orthogonal uncertainty modeling in the engineering of cyber-physical systems
Software-intensive cyber-physical systems (CPS) perform essential tasks such as controlling
automated production processes in industrial production plants. The required levels of …
automated production processes in industrial production plants. The required levels of …
Automated prototype generation from formal requirements model
Prototyping is an effective and efficient way of requirements validation to avoid introducing
errors in the early stage of software development. However, manually developing a …
errors in the early stage of software development. However, manually developing a …
Model-based safety engineering for autonomous train map
N Chouchani, S Debbech, M Perin - Journal of Systems and Software, 2022 - Elsevier
As a part of the digital revolution of railway systems, an autonomous driving train will use a
complete and precise map of railway infrastructure to conduct operational actions …
complete and precise map of railway infrastructure to conduct operational actions …
Model-based documentation of context uncertainty for cyber-physical systems
Cyber-physical systems are increasingly developed for highly-automated purposes, such as
industrial production plants. Not only the level of autonomy of these cyber-physical …
industrial production plants. Not only the level of autonomy of these cyber-physical …
[图书][B] Quality Planning and Assurance: Principles, Approaches, and Methods for Product and Service Development
H Tang - 2021 - books.google.com
QUALITY PLANNING AND ASSURANCE Discover the most crucial aspects of quality
systems planning critical to manufacturing and service success In Quality Planning and …
systems planning critical to manufacturing and service success In Quality Planning and …
Context modeling for cyber‐physical systems
M Daun, B Tenbergen - Journal of Software: Evolution and …, 2023 - Wiley Online Library
When developing cyber‐physical systems (CPS), the context is of vital importance. CPS
interact with the world not only through sensing the environment and acting upon it (like …
interact with the world not only through sensing the environment and acting upon it (like …
DRIP: Segmenting individual requirements from software requirement documents
Z Zhao, L Zhang, X Lian, H Lv - Software: Practice and …, 2024 - Wiley Online Library
Numerous academic research projects and industrial tasks related to software engineering
require individual requirements as input. Unfortunately, according to our observation …
require individual requirements as input. Unfortunately, according to our observation …
Generation of hazard relation diagrams: formalization and tool support
B Tenbergen, T Weyer - Software and Systems Modeling, 2021 - Springer
Developing safety-critical, software-intensive embedded systems are characterized by the
need to identify hazards and to define hazard-mitigating requirements at the earliest …
need to identify hazards and to define hazard-mitigating requirements at the earliest …