机译:Approach for the development of mobile applications based on migrant objects
Computer Science Department, University of M'Sila BP. 166 Ichebilia, M'Sila, 28000, Algeria;
Laboratory of Informatics and its Applications, Computer Science Department, Uni-versity of M'Sila BP. 166 Ichebilia, M'Sila, 28000, Algeria;
Mobile Application; Migrant Objects; Rewriting Logic; Mobile Maude; Maude LTL Model Checker;