Automatic Requirements Engineering: Activities, Methods, Tools, and Domains–A Systematic Literature Review

R Delima, K Mustofa, AK Sari - Jurnal RESTI (Rekayasa Sistem …, 2023 - jurnal.iaii.or.id
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 …

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 …

Orthogonal uncertainty modeling in the engineering of cyber-physical systems

T Bandyszak, M Daun, B Tenbergen… - IEEE Transactions …, 2020 - ieeexplore.ieee.org
Software-intensive cyber-physical systems (CPS) perform essential tasks such as controlling
automated production processes in industrial production plants. The required levels of …

Automated prototype generation from formal requirements model

Y Yang, X Li, W Ke, Z Liu - IEEE Transactions on Reliability, 2019 - ieeexplore.ieee.org
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 …

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 …

Model-based documentation of context uncertainty for cyber-physical systems

T Bandyszak, M Daun, B Tenbergen… - 2018 IEEE 14th …, 2018 - ieeexplore.ieee.org
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 …

[图书][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 …

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 …

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 …

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 …