Mezinárodní konference o formálních technikách pro síťové a distribuované systémy - International Conference on Formal Techniques for Networked and Distributed Systems - Wikipedia
The Mezinárodní konference IFIP o formálních technikách pro distribuované objekty, komponenty a systémy (FORTE) je součástí federované konferenční akce DisCoTec[1] (Distributed Computing Techniques), která rovněž zahrnuje Mezinárodní konference o koordinačních modelech a jazycích (COORDINATION) a mezinárodní konference IFIP o distribuovaných aplikacích a interoperabilních systémech (DAIS).
Do roku 2013 se konference konala jako Společná mezinárodní konference IFIP o formálních technikách pro distribuované systémy a sestával ze dvou konferenčních řad FMOODS a FORTE.
Rozsah
Připojená konference FMOODS / FORTE je fórem pro základní výzkum na teorii, modely, nástroje a aplikace distribuovaných systémů.[2] Konference požaduje originální příspěvky, které posílí vědu a technologie pro distribuované systémy, zejména v oblastech:
- komponentní a modelový design
- objektová technologie, modularita, softwarová adaptace
- servisní, všudypřítomné, všudypřítomné, gridové, cloudové a mobilní výpočetní systémy
- kvalita, spolehlivost, dostupnost a bezpečnost softwaru
- bezpečnost, soukromí a důvěra v distribuované systémy
- adaptivní distribuované systémy, samostabilizace
- samoléčení / organizování
- ověřování, validace, formální analýza a testování výše uvedeného
Jsou podporovány příspěvky, které kombinují teorii a praxi a využívají formální metody a teoretické základy k prezentaci nových řešení problémů vyplývajících z vývoje distribuovaných systémů. Tato konference se zabývá distribuovanými výpočetními modely a formální specifikací, metodami testování a ověřování. Domény aplikací zahrnují všechny druhy distribuovaných systémů na úrovni aplikace, telekomunikační služby, internet, vestavěné systémy a systémy v reálném čase, jakož i zabezpečení a spolehlivost sítí a komunikací.
Předchozí konference
webové stránky
- FORTE 2014
- FMOODS / FORTE 2013
- FMOODS / FORTE 2012 je offline
- FMOODS / FORTE 2011
- FMOODS / FORTE 2010 je offline
- FMOODS / FORTE 2009
- FMOODS 2008 / FORTE 2008 je offline
- FMOODS 2007 / FORTE 2007
- FMOODS 2006 / FORTE 2006
- FMOODS 2005 / FORTE 2005
- FORTE 2004
- FMOODS 2003 je offline / FORTE 2003 je offline
- FMOODS 2002 / FORTE 2002
- FORTE 2001 je offline
- FMOODS 2000 / FORTE 2000 je offline
- FMOODS 1999 je offline / FORTE 1999
- FORTE 1998
- FMOODS 1997 je offline / FORTE 1997 je offline
- FMOODS 1996 / FORTE 1996 je offline
Řízení
- 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)