Bouanaka, Chafia; Belala, Faiza
(Constantine : Université Mentouri Constantine, 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. ...