Systèmes Informatiques Mobiles: de l'informel vers le formel [French]

By Laid Kahloul

L'informatique mobile (ou mobile computing, en anglais) fait r?f?rence aux deux aspects: mobilit? du mat?riel informatique aussi que mobilit? des logiciels. L'informatique mobile sur son aspect logiciel, concerne la migration de code d'un site vers un autre. Cette mobilit? ?tait la premi?re ? ?tre propos?e durant les premiers air des syst?mes distribu?s et des syst?mes parall?le dans l'objectif de: ?quilibrer la charge entre processeurs par migration de t?ches ou pour assurer la tol?rance aux pannes. La mobilit? sur son plan hardware r?f?re souvent aux dispositifs mobiles, encore renforc? par le d?veloppement des r?seaux sans fils (soit WIFI ou cellulaire). La mobilit? logicielle a connu une tendance importante et innovante avec l'apparition de l'internet et donc, la transformation des syst?mes distribu?s ? r?seaux local et limit? vers des syst?mes r?partis sur un ?chelle plan?taire. D?velopper des syst?mes mobiles (hardware/software) exige un processus logiciel bien adapt? sur toutes les phases de d?veloppement, depuis l'analyse jusqu'au codage et test. L'objectif de ce livre est de montrer l'usage des m?thodes formelles pour les syst?mes informatiques mobiles.

• Format: Paperback
• Language: French
• ISBN: 6203451436
• ISBN13: 9786203451436
• Release Date: February 2023
• Publisher: Editions Universitaires Europeennes
• Length: 68 Pages
• Weight: 0.25 lbs.
• Dimensions: 0.2" x 6.0" x 9.0"