Formal Methods Europe ( FME ) es una organización cuyo objetivo es fomentar la investigación y la aplicación de métodos formales para la mejora del software y el hardware en sistemas informáticos. Los miembros de la asociación proceden del mundo académico y de la industria . Tiene su sede en Europa , pero su alcance es internacional. FME opera bajo la legislación holandesa .
Las actividades incluyen o han incluido:
- Difusión de los resultados de las investigaciones y de la experiencia industrial a través de congresos (cada 18 meses) y eventos patrocinados; [1] [2]
- Desarrollo de recursos de información para educadores;
- Creación de redes para profesionales comerciales a través de ForTIA ( Asociación de la Industria de Técnicas Formales ).
El presidente del FME es John Fitzgerald , de la Universidad de Newcastle upon Tyne (Reino Unido) .
Para TIA
La Asociación de la Industria de Técnicas Formales ( ForTIA ) tenía como objetivo apoyar el uso industrial de métodos formales bajo la organización paraguas de Formal Methods Europe . Fue fundada en 2003 a través de los esfuerzos iniciales de Dines Bjørner y fue presidida por Anthony Hall y Volkmar Lotz, entre otros. Su alcance era internacional y la membresía era por empresa. Organizaba reuniones, especialmente en conjunto con conferencias, por ejemplo, días de la industria en las conferencias de FM organizadas por FME. [3] [4]
Véase también
Referencias
- ^ "FM 2011: 17th International Symposium on Formal Methods". Limerick , República de Irlanda : Lero . 20–24 de junio de 2011. Consultado el 16 de agosto de 2014 .
- ^ "FM 2014: 19th International Symposium on Formal Methods". Singapur : Universidad Nacional de Singapur . 14–16 de mayo de 2014. Consultado el 16 de agosto de 2014 .
- ^ "ForTIA Industry Day 2006". Métodos formales 2005. Newcastle-upon-Tyne, Reino Unido: Archive.org . Archivado desde el original el 8 de junio de 2009. Consultado el 16 de agosto de 2013 .
- ^ "Día de la Industria". FM 2006. Hamilton, Canadá: Universidad McMaster . 23 de agosto de 2006. Consultado el 16 de agosto de 2013 .
Enlaces externos
- Sitio web de FME
- Grupo de Método Formal Europa en LinkedIn
- Sitio web de ForTIA (2009)
