28 citations · 28 across the 6 of their papers we have counts for
6 papers · 1 filter
Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects
Maria Spichkova, Heinz Schmidt
In this paper we present a formal framework for analysis and optimisation of the requirements specifications of systems developed to apply in several countries. As different countr…
Towards Readability Aspects of Probabilistic Mode Automata
Heinz Schmidt, Maria Spichkova
This paper presents a new approach and design model targeting hybrid designer- and operator-defined performance budgets for timing and energy consumption. The approach is based on…
Monitoring Informed Testing for IoT
Ahmed Abdullah, Heinz W. Schmidt, Maria Spichkova +1
Internet of Things (IoT) systems continuously collect a large amount of data from heterogeneous "smart objects" through standardised service interfaces. A key challenge is how to u…
Chiminey: Reliable Computing and Data Management Platform in the Cloud
Iman I. Yusuf, Ian E. Thomas, Maria Spichkova +7
The enabling of scientific experiments that are embarrassingly parallel, long running and data-intensive into a cloud-based execution environment is a desirable, though complex und…
Human Factors in Software Reliability Engineering
Maria Spichkova, Huai Liu, Mohsen Laali +1
In this paper, we present our vision of the integration of human factors engineering into the software development process. The aim of this approach is to improve the quality of so…
Reconciling a component and process view
Maria Spichkova, Heinz Schmidt
In many cases we need to represent on the same abstraction level not only system components but also processes within the system, and if for both representation different framework…