Sistemas de Computação Móvel: do informal ao formal [Portuguese]

By Laid Kahloul

A 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.

• Format: Paperback
• Language: Portuguese
• ISBN: 6205823519
• ISBN13: 9786205823514
• Release Date: March 2023
• Publisher: Edicoes Nosso Conhecimento
• Length: 68 Pages
• Weight: 0.25 lbs.
• Dimensions: 0.2" x 6.0" x 9.0"