Ein Workshop über formale Methoden und automatisiertes Software-Engineering für Cloud Computing (Workshop on formal methods and automated software engineering for cloud computing) findet vom 4. bis 7. September 2012 in Fukuoka, Japan statt.
Mit der Entwicklung mobiler und Internet-Applikationen wird Cloud Computing immer wichtiger. Immer mehr Daten befinden sich in der Cloud. Umso wichtiger sind zuverlässige und sichere Clouds.
Cloud Computing ist eine Dienstleistung, bei der Computern und Geräten Ressourcen, Software und Informationen über ein Netzwerk zur Verfügung gestellt werden. Ein sehr vielversprechendes Forschungsgebiet ist die Software-Zusammensetzung beim Cloud Computing, die auf Internetdienstleistungen basiert. Die Verifikation der Zusammensetzung solcher Internetdienstleistungen ist eine Schlüsselkomponente und kann mehrere Formen annehmen.
Der Workshop bietet ein Forum zur Diskussion und Erforschung der formalen Verifikation und automatisierten Software-Engineering für alle Aspekte des Cloud Computing.
Die Veranstaltung wird organisiert in Zusammenarbeit von sechs europäischen und japanischen Universitäten (die Universität Torino (Italien), die Universität Paris Ost - Créteil (Frankreich), die Technische Universität Kochi (Japan), die Universität Orléans (Frankreich), die Universität Leicester (Vereinigtes Königreich) und der Französischen Kommission für alternative Energien und Atomenergie.
