28 citations · 97 across the 14 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.SE2019
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…
cs.SE2019
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…