Laid Kahloul

Mobile Computersysteme: von informell zu formell

• Broschiertes Buch

Produktbeschreibung

Mobiles Computing bezieht sich auf beide Aspekte: die Mobilität der Hardware und die Mobilität der Software. Mobiles Computing in Bezug auf die Software betrifft die Migration von Code von einem Standort zu einem anderen. Diese Mobilität war die erste, die in der Frühzeit verteilter und paralleler Systeme angeboten wurde, um die Last zwischen Prozessoren durch die Migration von Aufgaben auszugleichen oder um Fehlertoleranz zu gewährleisten. Hardware-Mobilität bezieht sich oft auf mobile Geräte, was durch die Entwicklung von drahtlosen Netzwerken (WIFI oder Mobilfunk) noch verstärkt wird. Die Software-Mobilität erlebte einen wichtigen und innovativen Trend mit dem Aufkommen des Internets und der damit verbundenen Transformation von verteilten Systemen mit lokalen und begrenzten Netzwerken hin zu global verteilten Systemen. Die Entwicklung mobiler Systeme (Hardware/Software) erfordert einen gut angepassten Softwareprozess über alle Entwicklungsphasen hinweg, von der Analyse über die Codierung bis hin zum Test. Das Ziel dieses Buches ist es, die Verwendung formaler Methoden für mobile Computersysteme aufzuzeigen.

Produktdetails

• Verlag: Verlag Unser Wissen
• Seitenzahl: 68
• Erscheinungstermin: 23. März 2023
• Deutsch
• Abmessung: 220mm x 150mm x 5mm
• Gewicht: 119g
• ISBN-13: 9786205823477
• ISBN-10: 6205823470
• Artikelnr.: 67664412

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.