Semantics-Driven Programming of Self-Adaptive Reactive Systems.

Ester Giallonardo Francesco Poggi Davide Rossi Eugenio Zimeo

Published in: Int. J. Softw. Eng. Knowl. Eng. (2020)

Keyphrases

reactive systems
control flow
model checking
temporal logic
information flow
formal semantics
petri net
formal methods
data flow
machine learning
semantic information
case study
state machines
low cost
knowledge representation
social networks
data mining