Métodos formales Europa

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. Sus miembros provienen del ámbito académico y la industria . Tiene su sede en Europa , pero su alcance es internacional. FME opera bajo la legislación neerlandesa .

Las actividades incluyen o han incluido:

• Difusión de los resultados de la investigación y la experiencia industrial a través de conferencias (cada 18 meses) y eventos patrocinados; ^{[ 1 ] [ 2 ]}
• Desarrollo de recursos informativos para educadores;
• Creación de redes para profesionales comerciales a través de ForTIA ( Formal Techniques Industry Association ).

El presidente de FME es John Fitzgerald, de la Universidad de Newcastle upon Tyne , Reino Unido .

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 gracias a los esfuerzos iniciales de Dines Bjørner y estuvo presidida, entre otros, por Anthony Hall y Volkmar Lotz. Su ámbito era internacional y la membresía se realizaba por empresa. Organizaba reuniones, especialmente en conjunto con conferencias, por ejemplo, jornadas de la industria en las conferencias FM organizadas por FME. ^{[ 3 ] [ 4 ]}

• Grupo de Especialistas en Aspectos Formales de la Informática de BCS-FACS
• Métodos formales
• Anthony Hall , presidente fundador de ForTIA

• Sitio web de FME
• Grupo de Método Formal Europa en LinkedIn
• Sitio web de ForTIA (2009)