{"product_id":"sistemas-de-computacao-movel-do-informal-ao-formal-von-laid-kahloul","title":"Sistemas de Computação Móvel: do informal ao formal","description":"\u003cp\u003eA computação móvel refere-se a ambos os aspectos: mobilidade do hardware, bem como a mobilidade do software. A computação móvel no seu lado de software, refere-se à migração de código de um local para outro. Esta mobilidade foi a primeira a ser proposta durante os primeiros dias dos sistemas distribuídos e paralelos com o objectivo de: equilibrar a carga entre processadores por migração de tarefas ou para assegurar a tolerância a falhas. A mobilidade no lado do hardware refere-se frequentemente a dispositivos móveis, ainda mais reforçada pelo desenvolvimento de redes sem fios (WIFI ou celulares). A mobilidade do software tem experimentado uma tendência importante e inovadora com o surgimento da Internet e, portanto, a transformação de sistemas distribuídos com redes locais e limitadas para sistemas distribuídos globalmente. O desenvolvimento de sistemas móveis (hardware\/software) requer um processo de software bem adaptado em todas as fases de desenvolvimento, desde a análise até à codificação e testes. O objectivo deste livro é mostrar a utilização de métodos formais para sistemas de computação móvel.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786205823514\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786205823514","offer_id":46439007977797,"sku":"9786205823514","price":43.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/f2405c4b-ae62-41a7-891a-68f7750938ab.jpg?v=1758431858","url":"https:\/\/shop.autorenwelt.de\/en\/products\/sistemas-de-computacao-movel-do-informal-ao-formal-von-laid-kahloul","provider":"Autorenwelt Shop","version":"1.0","type":"link"}