The growing complexity of modern software systems stimulated the use of component-based approaches and the enforcement of the separation of concerns. In context-aware computing the separation is made between the functions the system is built for, that can change in time, owing to different conditions, and the context in which the system must operate, which sets the current environmental situation.
A Boolean Control Network Approach to the Formal Verification of Feedback Context-Aware Pervasive Systems
M. E. Valcher
2022
Abstract
The growing complexity of modern software systems stimulated the use of component-based approaches and the enforcement of the separation of concerns. In context-aware computing the separation is made between the functions the system is built for, that can change in time, owing to different conditions, and the context in which the system must operate, which sets the current environmental situation.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
