Laid Kahloul

Sistemas informáticos móviles: de lo informal a lo formal

• Broschiertes Buch

Produktbeschreibung

La informática móvil se refiere a ambos aspectos: movilidad de hardware y movilidad de software. En su vertiente de software, la informática móvil se refiere a la migración de código de un sitio a otro. Esta movilidad fue la primera que se propuso durante los primeros tiempos de los sistemas distribuidos y paralelos con el objetivo de: equilibrar la carga entre procesadores mediante la migración de tareas o para garantizar la tolerancia a fallos. En cuanto al hardware, la movilidad suele referirse a los dispositivos móviles, potenciada por el desarrollo de las redes inalámbricas (WIFI o celulares). La movilidad del software ha experimentado una tendencia importante e innovadora con la aparición de Internet y, por tanto, la transformación de los sistemas distribuidos con redes locales y limitadas en sistemas distribuidos a escala mundial. El desarrollo de sistemas móviles (hardware/software) requiere un proceso de software bien adaptado en todas las fases del desarrollo, desde el análisis hasta la codificación y las pruebas. El objetivo de este libro es mostrar el uso de métodos formales para los sistemas informáticos móviles.

Produktdetails

• Verlag: Ediciones Nuestro Conocimiento
• Seitenzahl: 68
• Erscheinungstermin: 23. März 2023
• Spanisch
• Abmessung: 220mm x 150mm x 5mm
• Gewicht: 119g
• ISBN-13: 9786205823491
• ISBN-10: 6205823497
• Artikelnr.: 67670690

Autorenporträt

Laid Kahloul é professora de informática na Universidade de Biskra, ligada ao Departamento de Informática. É também investigadora afiliada ao Laboratório de Computação Inteligente (LINFI). A sua investigação diz respeito ao uso de métodos formais no processo de software. É autor de vários artigos neste campo.