Skip to main content

Event Category

Evento

Article available in the folowing languages:

«Taller sobre métodos formales e ingeniería de software automatizado aplicado a la computación en la nube», Fukuoka, Japón

Del 4 al 7 de septiembre de 2012 se celebrará en Fukuoka, Japón, un evento titulado «Taller sobre métodos formales e ingeniería de software automatizado aplicado a la computación en la nube» (Workshop on Formal Methods and Automated Software Engineering for Cloud Computing).
...

30 Junio 2012 - 30 Junio 2012
Japón

Del 4 al 7 de septiembre de 2012 se celebrará en Fukuoka, Japón, un evento titulado «Taller sobre métodos formales e ingeniería de software automatizado aplicado a la computación en la nube» (Workshop on Formal Methods and Automated Software Engineering for Cloud Computing).

La computación en la nube está cobrando importancia en parte gracias al desarrollo de las aplicaciones móviles y de Internet. Cada vez hay más datos alojados en la nube y por lo tanto es muy importante contar con entornos seguros.

La computación en la nube se define como el suministro de computación en forma de servicio -y no como producto- mediante el que se comparten recursos, programas e información entre distintos ordenadores y dispositivos mediante una red.

Uno de los ámbitos con mayor futuro es la composición de software en la nube basada en servicios web. La verificación de la composición de este tipo de servicios web es un componente clave y puede adoptar distintas formas.

El taller supondrá un foro en el que se debatirán e investigarán temas relacionados con la verificación formal y la ingeniería de software automatizada relacionados con todo lo relativo a la computación en la nube.

El evento está organizado por una cooperación entre seis universidades europeas y japonesas, a saber, la Universidad de Turín (Italia), la Universidad de París Este-Créteil (Francia), la Universidad de Tecnología Kochi (Japón), la Universidad de Orleans (Francia), la Universidad de Leicester (Reino Unido), y la Comisión de energía atómica y energías alternativas (CEA, Francia).Para más información, consulte: http://traclifo.univ-orleans.fr/PaPDAS/wiki/ForMASECC2012