Bouanaka, Chafia; Belala, Faiza
(Université Frères Mentouri - Constantine 1, 2010-10-20)
In order to adopt a software architecture driven approach to specify mobile systems, we define
a unified semantic framework for specifying the bidirectional, steady state and topology,
evolution of such type of systems. ...