Laid Kahloul

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

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Verlag: Edições Nosso Conhecimento
• Seitenzahl: 68
• Erscheinungstermin: 23. März 2023
• Portugiesisch
• Abmessung: 220mm x 150mm x 5mm
• Gewicht: 119g
• ISBN-13: 9786205823514
• ISBN-10: 6205823519
• Artikelnr.: 67664594

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.