Skip to main content
European Commission logo
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary

Event category

Inhalt archiviert am 2022-07-14

Article available in the following languages:

"Workshop über formale Methoden und automatisiertes Software-Engineering für Cloud Computing", Fukuoka, Japan

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 ...

30 Juni 2012 - 30 Juni 2012
Japan
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 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