Sistemi informatici mobili: dall'informale al formale

By Laid Kahloul

L'informatica mobile si riferisce a entrambi gli aspetti: mobilit? hardware e mobilit? software. Per quanto riguarda il software, il mobile computing si riferisce alla migrazione del codice da un sito all'altro. Questa mobilit? ? stata proposta per la prima volta agli albori dei sistemi distribuiti e paralleli con l'obiettivo di: bilanciare il carico tra i processori mediante la migrazione dei task o garantire la tolleranza ai guasti. La mobilit? dal punto di vista hardware si riferisce spesso a dispositivi mobili, ulteriormente potenziati dallo sviluppo di reti wireless (WIFI o cellulari). La mobilit? del software ha conosciuto una tendenza importante e innovativa con l'emergere di Internet e quindi la trasformazione dei sistemi distribuiti con reti locali e limitate in sistemi distribuiti a livello globale. Lo sviluppo di sistemi mobili (hardware/software) richiede un processo di software ben adattato in tutte le fasi di sviluppo, dall'analisi alla codifica e al test. L'obiettivo di questo libro ? mostrare l'uso di metodi formali per i sistemi di mobile computing.

• Format: Paperback
• Language: Italian
• ISBN: 6205823500
• ISBN13: 9786205823507
• Release Date: March 2023
• Publisher: Edizioni Sapienza
• Length: 64 Pages
• Weight: 0.23 lbs.
• Dimensions: 0.1" x 6.0" x 9.0"