Hispanopedia WikiLa Conferencia Internacional IFIP sobre Técnicas Formales para Objetos, Componentes y Sistemas Distribuidos (FORTE) forma parte del evento de conferencia federada DisCoTec [ 1 ] ( Técnicas de Computación Distribuida ) que también incluye la Conferencia Internacional sobre Modelos y Lenguajes de Coordinación (COORDINATION) y la Conferencia Internacional IFIP sobre Aplicaciones Distribuidas y Sistemas Interoperables (DAIS).
Hasta 2013, la conferencia se celebraba como la Conferencia Internacional Conjunta IFIP sobre Técnicas Formales para Sistemas Distribuidos y constaba de las dos series de conferencias FMOODS y FORTE.
Alcance
La conferencia conjunta FMOODS/FORTE es un foro para la investigación fundamental sobre la teoría, los modelos, las herramientas y las aplicaciones de los sistemas distribuidos. [ 2 ] La conferencia solicita contribuciones originales que impulsen la ciencia y las tecnologías de los sistemas distribuidos, en particular en las áreas de:
- diseño basado en componentes y modelos
- tecnología de objetos, modularidad, adaptación de software
- sistemas informáticos móviles , omnipresentes, orientados a servicios y distribuidos, basados en redes, en la nube y en la nube.
- Calidad , fiabilidad, disponibilidad y seguridad del software
- seguridad, privacidad y confianza en sistemas distribuidos
- sistemas distribuidos adaptativos, autoestabilización
- autocuración/organización
- verificación, validación, análisis formal y pruebas de lo anterior
Se fomentan las contribuciones que combinan teoría y práctica, y que aprovechan los métodos formales y los fundamentos teóricos para presentar soluciones innovadoras a los problemas derivados del desarrollo de sistemas distribuidos. Esta conferencia abarca modelos de computación distribuida y métodos formales de especificación , prueba y verificación. Los ámbitos de aplicación incluyen todo tipo de sistemas distribuidos a nivel de aplicación, servicios de telecomunicaciones, Internet, sistemas embebidos y en tiempo real, así como seguridad y fiabilidad de redes y comunicaciones.
Conferencias anteriores
Páginas web
- FORTE 2014
- FMOODS / FORTE 2013
- FMOODS / FORTE 2012 está fuera de línea
- FMOODS / FORTE 2011
- FMOODS / FORTE 2010 está fuera de línea
- FMOODS / FORTE 2009
- FMOODS 2008 / FORTE 2008 está fuera de línea
- FMOODS 2007 / FORTE 2007
- FMOODS 2006 / FORTE 2006
- FMOODS 2005 / FORTE 2005
- FORTE 2004
- FMOODS 2003 está fuera de línea / FORTE 2003 está fuera de línea
- FMOODS 2002 / FORTE 2002
- FORTE 2001 está fuera de línea
- FMOODS 2000 / FORTE 2000 está fuera de línea
- FMOODS 1999 está fuera de línea / FORTE 1999
- FORTE 1998
- FMOODS 1997 está fuera de línea / FORTE 1997 está fuera de línea
- FMOODS 1996 / FORTE 1996 está fuera de línea
Actas
- FMOODS / FORTE 2013 (LNCS 7892)
- FMOODS / FORTE 2012 (LNCS 7273)
- FMOODS / FORTE 2011 (LNCS 6722)
- FMOODS / FORTE 2010 (LNCS 6117)
- FMOODS / FORTE 2009 (LNCS 5522)
- FMOODS 2008 (LNCS 5051) / FORTE 2008 (LNCS 5048)
- FMOODS 2007 (LNCS 4468) / FORTE 2007 (LNCS 4574)
- FMOODS 2006 (LNCS 4037) / FORTE 2006 (LNCS 4229)
- FMOODS 2005 (LNCS 3535) / FORTE 2005 (LNCS 3731)
- FORTE 2004 (LNCS 3235)
- FMOODS 2003 (LNCS 2884) / FORTE 2003 (LNCS 2767)
- FMOODS 2002 (IFIP ACIT) / FORTE 2002 (LNCS 2529)
- FMOODS 2000 (IFIP ACIT)
- FMOODS 1999 (IFIP ACIT)
- FORTE 1997 (IFIP AICT)
Notas
- conferencias sobre computación distribuida