"Workshop über formale Methoden und automatisiertes Software-Engineering für Cloud Computing", Fukuoka, Japan
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 Orleans (Frankreich), die Universität Leicester (Vereinigtes Königreich)) und der Französischen Kommission für alternative Energien und Atomenergie.Weitere Informationen sind abrufbar unter: http://traclifo.univ-orleans.fr/PaPDAS/wiki/ForMASECC2012