Międzynarodowa konferencja na temat formalnych technik dla systemów sieciowych i rozproszonych

IFIP na temat Formalnych Technik Rozproszonych Obiektów, Komponentów i Systemów (FORTE) jest częścią federacyjnego wydarzenia konferencyjnego DisCoTec (Distributed Computing Techniques), które obejmuje również Międzynarodową Konferencję na temat Modeli Koordynacji i Języków (COORDINATION) oraz Międzynarodową Konferencję IFIP na temat Aplikacje rozproszone i systemy interoperacyjne (DAIS).

Do 2013 roku konferencja odbywała się jako IFIP Joint International Conference on Formal Techniques for Distributed Systems i składała się z dwóch serii konferencyjnych FMOODS i FORTE.

Zakres

Wspólna konferencja FMOODS/FORTE jest forum badań podstawowych nad teorią, modelami, narzędziami i zastosowaniami systemów rozproszonych. Konferencja wymaga oryginalnych wkładów, które rozwijają naukę i technologie systemów rozproszonych, w szczególności w obszarach:

  • projektowanie oparte na komponentach i modelach
  • technologia obiektowa, modułowość, adaptacja oprogramowania
  • zorientowane na usługi, wszechobecne, wszechobecne, sieciowe, chmurowe i mobilne systemy obliczeniowe
  • jakość, niezawodność, dostępność i bezpieczeństwo oprogramowania
  • bezpieczeństwo, prywatność i zaufanie w systemach rozproszonych
  • adaptacyjne systemy rozproszone, samostabilizacja
  • samoleczenie/organizowanie
  • weryfikacja, walidacja, analiza formalna i testowanie ww

Zachęca się do wkładów, które łączą teorię i praktykę oraz wykorzystują formalne metody i podstawy teoretyczne w celu przedstawienia nowatorskich rozwiązań problemów wynikających z rozwoju systemów rozproszonych. Konferencja dotyczy modeli przetwarzania rozproszonego oraz formalnej specyfikacji, metod testowania i weryfikacji. Dziedziny aplikacji obejmują wszelkiego rodzaju systemy rozproszone na poziomie aplikacji, usługi telekomunikacyjne, Internet, systemy wbudowane i systemy czasu rzeczywistego, a także bezpieczeństwo i niezawodność sieci i komunikacji.

Poprzednie konferencje

strony internetowe

Obrady

Notatki

Pobrano z „ https://en.wikipedia.org/w/index.php?title=International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems&oldid=1103021722 ”