Metody formalne Europa
Formal Methods Europe ( FME ) jest organizacją, której celem jest zachęcanie do badań i stosowania metod formalnych do ulepszania oprogramowania i sprzętu w systemach komputerowych. Członkowie stowarzyszenia wywodzą się ze akademickich i przemysłowych . Ma siedzibę w Europie , ale ma zasięg międzynarodowy. FME działa na podstawie holenderskiego .
Działania obejmują lub obejmowały:
- Upowszechnianie wyników badań i doświadczeń przemysłowych poprzez konferencje (co 18 miesięcy) i wydarzenia sponsorowane;
- Rozwój zasobów informacyjnych dla edukatorów;
- Tworzenie sieci kontaktów dla praktyków komercyjnych za pośrednictwem ForTIA ( Stowarzyszenie Przemysłu Formalnych Technik ).
Przewodniczącym FME jest John Fitzgerald z University of Newcastle upon Tyne w Wielkiej Brytanii .
dla TIA
Stowarzyszenie Przemysłu Technik Formalnych ( ForTIA ) miało na celu wspieranie przemysłowego wykorzystania metod formalnych w ramach organizacji patronackiej Formal Methods Europe . Została założona w 2003 roku dzięki początkowym wysiłkom Dinesa Bjørnera , a jej przewodniczącymi byli między innymi Anthony Hall i Volkmar Lotz. Jego zakres był międzynarodowy, a członkostwo było przez firmę. Organizował spotkania, zwłaszcza w połączeniu z konferencjami, np. dni branżowe na konferencjach FM organizowanych przez FME.
Zobacz też
- Grupa specjalistów ds. formalnych aspektów informatyki BCS-FACS
- Metody formalne
- Anthony Hall , prezes-założyciel ForTIA
Linki zewnętrzne
| Ogólny | |
|---|---|
| Biblioteki Narodowe | |
