Желілік және таратылған жүйелердің формальды әдістері жөніндегі халықаралық конференция - International Conference on Formal Techniques for Networked and Distributed Systems - Wikipedia

The Үлестірілген объектілерге, компоненттерге және жүйелерге арналған формальды әдістер бойынша IFIP халықаралық конференциясы (FORTE) - бұл DisCoTec федеративтік конференциясының бөлігі[1] (Таралатын есептеу әдістері), сонымен қатар Модельдер мен тілдерді үйлестіру жөніндегі халықаралық конференция (Үйлестіру) және таратылған қосымшалар мен өзара әрекеттесетін жүйелер (DAIS) бойынша IFIP халықаралық конференциясы.

2013 жылға дейін конференция ретінде өтті Таратылған жүйелер үшін формальды әдістер бойынша IFIP бірлескен халықаралық конференциясы және FMOODS және FORTE екі конференция сериясынан тұрды.

Қолдану аясы

Біріккен FMOODS / FORTE конференциясы - бұл форум іргелі зерттеулер таратылған жүйелердің теориясы, модельдері, құралдары және қолданылуы туралы.[2] Конференция үлестірілген жүйелер үшін ғылым мен технологияны дамытатын түпнұсқа үлестерді сұрайды, атап айтқанда:

  • компоненттік және модельдік дизайн
  • объектілік технология, модульдік, бағдарламалық жасақтаманы бейімдеу
  • қызметке бағытталған, барлық жерде кең таралған, торлы, бұлтты және мобильді есептеу жүйелері
  • бағдарламалық жасақтаманың сапасы, сенімділігі, қол жетімділігі және қауіпсіздігі
  • қауіпсіздік, құпиялылық және таратылған жүйелерге сенім
  • адаптивті үлестірілген жүйелер, өзін-өзі тұрақтандыру
  • өзін-өзі емдеу / ұйымдастыру
  • жоғарыда айтылғандарды тексеру, валидация, ресми талдау және тестілеу

Теория мен практиканы біріктіретін және үлестірілген жүйелердің дамуынан туындайтын мәселелерге жаңа шешімдер ұсыну үшін формальды әдістер мен теориялық негіздерді пайдаланатын жарналар ұсынылады. Бұл конференция таратылған есептеу модельдері мен ресми спецификация, тестілеу және тексеру әдістерін қарастырады. Қолданба домендеріне қолданбалы деңгейдегі барлық таратылған жүйелер, телекоммуникациялық қызметтер, Интернет, ендірілген және нақты уақыт жүйелері, сонымен қатар желілік және коммуникациялық қауіпсіздік пен сенімділік кіреді.

Алдыңғы конференциялар

Веб-беттер

Іс жүргізу

Ескертулер