Using traditional probabilistic risk analysis methods for severe accident safety risk
management on non-digital systems, structures, and components at nuclear power plants is …

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 …

During software development, it is of essential importance to consider security threats. The
number of reported incidents and the harm for organizations due to such incidents highly …

The purpose of this study was to explore the extent to which top management commitment to
information security compliance predicts organizational support as perceived by the …

The consideration of security during software development is an important factor for
deploying high-quality software. The later one considers security in a software development …

In the contexts of Formal Verification (FV) and Automated Reasoning (AR), Satisfiability
Modulo Theories (SMT) is an important discipline that allows for dealing with industrial-level …

Business processes are essential instruments used for the coordination of organisational
activities in order to produce value in the form of products and services. Information security …

Business processes are essential instruments used for the coordination of organisational
activities in order to produce value in the form of products and services. Information security …

Due to the ongoing digitalization of our everyday life, the consideration of security for
software-intensive systems is of great importance. The number of reported security incidents …