Ağa Bağlı ve Dağıtık Sistemler için Biçimsel Teknikler Uluslararası Konferansı - International Conference on Formal Techniques for Networked and Distributed Systems - Wikipedia

IFIP Uluslararası Dağıtılmış Nesneler, Bileşenler ve Sistemler İçin Biçimsel Teknikler Konferansı (FORTE), federe konferans etkinliği DisCoTec'in bir parçasıdır[1] (Dağıtılmış Hesaplama Teknikleri) ayrıca Uluslararası Koordinasyon Modelleri ve Diller Konferansı (KOORDİNASYON) ve IFIP Uluslararası Dağıtılmış Uygulamalar ve Birlikte Çalışabilir Sistemler Konferansı (DAIS).

2013 yılına kadar konferans şu şekilde gerçekleştirildi: IFIP Ortak Uluslararası Dağıtılmış Sistemler İçin Biçimsel Teknikler Konferansı FMOODS ve FORTE olmak üzere iki konferans serisinden oluşuyordu.

Dürbün

Katılan konferans FMOODS / FORTE, temel araştırma dağıtık sistemlerin teorisi, modelleri, araçları ve uygulamaları üzerine.[2] Konferans, özellikle aşağıdaki alanlarda, dağıtılmış sistemler için bilim ve teknolojileri ilerleten orijinal katkılar talep etmektedir:

  • bileşen ve model tabanlı tasarım
  • nesne teknolojisi, modülerlik, yazılım uyarlaması
  • hizmet odaklı, her yerde bulunan, yaygın, şebeke, bulut ve mobil bilgi işlem sistemleri
  • yazılım kalitesi, güvenilirliği, kullanılabilirliği ve güvenliği
  • dağıtılmış sistemlerde güvenlik, gizlilik ve güven
  • uyarlanabilir dağıtılmış sistemler, kendi kendine stabilizasyon
  • kendi kendini iyileştirme / organize etme
  • Yukarıdakilerin doğrulanması, onaylanması, resmi analizi ve testi

Teori ve pratiği birleştiren ve biçimsel yöntemlerden ve teorik temellerden yararlanarak dağıtılmış sistemlerin geliştirilmesinden kaynaklanan sorunlara yeni çözümler sunan katkılar teşvik edilmektedir. Bu konferans, dağıtılmış hesaplama modellerini ve resmi belirtim, test ve doğrulama yöntemlerini kapsar. Uygulama alanları, her türlü uygulama düzeyinde dağıtılmış sistemleri, telekomünikasyon hizmetlerini, İnternet'i, gömülü ve gerçek zamanlı sistemleri, ayrıca ağ ve iletişim güvenliği ve güvenilirliğini içerir.

Önceki Konferanslar

internet sayfaları

Bildiriler

Notlar