15 citations · 46 across the 9 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2021
Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns
Ricardo Caldas, Razan Ghzouli, Alessandro V. Papadopoulos +3
A traditional approach to realize self-adaptation in software engineering (SE) is by means of feedback loops. The goals of the system can be specified as formal properties that are…
cs.SE2020★ 9 cited
Towards Bridging the Gap between Control and Self-Adaptive System Properties
Javier Cámara, Alessandro V. Papadopoulos, Thomas Vogel +4
Two of the main paradigms used to build adaptive software employ different types of properties to capture relevant aspects of the system's run-time behavior. On the one hand, contr…