«Atelier sur les méthodes officielles et le génie logiciel automatisé pour l'informatique en nuage», Fukuoka, Japon

Un atelier sur les méthodes officielles et le génie logiciel automatisé pour l'informatique en nuage (ForMASECC 2012 - Workshop on Formal Methods and Automated Software Engineering for Cloud Computing) aura lieu du 4 au 7 septembre 2012 à Fukuoka, au Japon.

Le développement des applications mobiles et Internet renforce chaque jour l'importance de l'informatique en nuage. On trouve de plus en plus de données dans le nuage. Il est donc très important de disposer d'environnements en nuage fiables et sûrs.

Par informatique en nuage, on entend la prestation de l'informatique comme service et non comme produit, où les ressources, les logiciels et les informations partagées sont fournis aux ordinateurs et autres dispositifs par le biais d'un réseau.

Un domaine de recherche très prometteur est la composition logicielle dans l'informatique en nuage, laquelle repose sur les services web. La vérification de la composition de tels services web est un élément clé et peut prendre différentes formes.

Cet atelier sera un forum de discussion et de recherche sur la vérification officielle et le génie logiciel automatisé pour tous les aspects de l'informatique en nuage.

L'évènement est organisé par le biais de la coopération de six universités européennes et japonaises, à savoir l'université de Turin (Italie), l'Université Paris Est-Créteil (France), l'université Kochi de technologie (Japon), l'université d'Orléans (France), l'université de Leicester (Royaume-Uni), et du CEA (Commissariat à l'énergie atomique et aux énergies alternatives).Pour de plus amples informations, consulter: http://traclifo.univ-orleans.fr/PaPDAS/wiki/ForMASECC2012