6 papers
Visualisation for the CIS benchmark scanning results
Zhenshuo Zhao, Maria Spichkova, Duttkumari Champavat +4
In this paper, we introduce GraphSecure, a web application that provides advanced analysis and visualisation of security scanning results. GraphSecure enables users to initiate sca…
Towards Using Personas in Requirements Engineering: What Has Been Changed Recently?
Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
In requirements engineering (RE), personas are now being used to represent user expectations and needs. This systematic mapping study (SMS) aims to explore the most recent studies…
Cultural Impact on Requirements Engineering Activities: Bangladeshi Practitioners' View
Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
Requirements Engineering (RE) is one of the most interaction-intensive phases of software development. This means that RE activities might be especially impacted by stakeholders' n…
FocusE: A semantic extension of FocusST
Maria Spichkova
To analyse and verify the safety and security properties of interactive systems, a formal specification might be necessary. There are many types of formal languages and frameworks.…
Spatio-Temporal Analysis of Concurrent Networks
Heinz Schmidt, Peter Herrmann, Maria Spichkova +3
Many very large-scale systems are networks of cyber-physical systems in which humans and autonomous software agents cooperate. To make the cooperation safe for the humans involved,…
Cultural influence on RE activities: An extended analysis of state of the art
Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
Designing mobile software that aligns with cultural contexts is crucial for optimizing human-computer interaction. Considering cultural influences is essential not only for the act…