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.