Specifying and validating consistent and dynamically evolving concurrent information systemsNasreddine AoumeurEsaurito4,3Avvisami
On the stepwise and disciplined engineering of adaptive service-oriented applicationsNasreddine AoumeurEsaurito4,3Avvisami