네트워크 및 분산 시스템의 공식 기술에 관한 국제 회의
International Conference on Formal Techniques for Networked and Distributed Systems또한 국제 회의 조정 모델에, 언어(조정)고 IFIP 국제 회의 Distribu에 포함한 연방 회의 행사 DisCoTec[1](분산 기법)의 IFIP 국제 회의 분산 방법, 구성 요소와 시스템에 공식적인 기법에 일부입니다.테드응용 프로그램 및 상호 운용 가능한 시스템(DAIS).
2013년까지 이 컨퍼런스는 분산 시스템의 공식 기술에 관한 IFIP 공동 국제 콘퍼런스로 개최되었으며, 두 개의 콘퍼런스 시리즈 FMOUDS와 FORTE로 구성되었다.
범위
FMOUDS/FORTE는 분산 시스템의 이론,[2] 모델, 도구 및 응용에 대한 기초 연구를 위한 포럼입니다.이 콘퍼런스는 특히 다음과 같은 분야에서 분산 시스템에 대한 과학과 기술을 발전시키는 독창적인 기여를 요구한다.
- 컴포넌트 기반 및 모델 기반 설계
- 오브젝트 테크놀로지, 모듈화, 소프트웨어 적응
- 서비스 지향, 유비쿼터스, 퍼베이시브, 그리드, 클라우드 및 모바일 컴퓨팅 시스템
- 소프트웨어 품질, 신뢰성, 가용성 및 보안
- 분산형 시스템의 보안, 프라이버시 및 신뢰성
- 적응형 분산 시스템, 자가 평가
- 자기계발적/조직적
- 상기의 검증, 검증, 정식 분석 및 테스트
이론과 실천을 결합하고, 분산 시스템 개발에서 발생하는 문제에 대한 새로운 해결책을 제시하기 위해 공식적인 방법과 이론적 기반을 이용하는 기여가 장려된다.이 컨퍼런스에서는 분산 컴퓨팅 모델과 정식 사양, 테스트 및 검증 방법에 대해 설명합니다.애플리케이션 도메인에는 모든 종류의 애플리케이션 레벨 분산 시스템, 통신 서비스, 인터넷, 임베디드 및 실시간 시스템, 네트워킹 및 통신 보안 및 신뢰성이 포함됩니다.
이전 회의
웹 페이지
- FORTE 2014
- FMOUDS / FORTE 2013
- FMOUDS / FORTE 2012 오프라인
- FMOUDS / FORTE 2011
- FMOUDS / FORTE 2010 오프라인
- FMOUDS / FORTE 2009
- FMOUDS 2008 / FORTE 2008 오프라인
- FMOUDS 2007 / FORTE 2007
- FMOUDS 2006 / FORTE 2006
- FMOUDS 2005 / FORTE 2005
- FORTE 2004
- FMOUDS 2003은 오프라인 / FORTE 2003은 오프라인
- FMOUDS 2002 / FORTE 2002
- FORTE 2001은 오프라인입니다.
- FMOUDS 2000 / FORTE 2000은 오프라인입니다.
- FMOUDS 1999는 오프라인 / FORTE 1999
- FORTE
- FMOUDS 1997은 오프라인 / FORTE 1997은 오프라인
- FMOUDS 1996 / FORTE 1996 오프라인
절차
- FMOUDS / FORTE 2013 (LNCS 7892)
- FMOUDS / FORTE 2012 (LNCS 7273)
- FMOUDS / FORTE 2011 (LNCS 6722)
- FMOUDS / FORTE 2010 (LNCS 6117)
- FMOUDS / FORTE 2009 (LNCS 5522)
- FMOUDS 2008 (LNCS 5051) / FORTE 2008 (LNCS 5048)
- FMOUDS 2007 (LNCS 4468) / FORTE 2007 (LNCS 4574)
- FMOUDS 2006 (LNCS 4037) / FORTE 2006 (LNCS 4229)
- FMOUDS 2005 (LNCS 3535) / FORTE 2005 (LNCS 3731)
- FORTE 2004(LNCS 3235)
- FMOUDS 2003 (LNCS 2884) / FORTE 2003 (LNCS 2767)
- FMOUDS 2002 (IFIP ACIT) / FORTE 2002 (LNCS 2529)
- FMOUDS 2000 (IFIP ACIT)
- FMOUDS 1999 (IFIP ACIT)
- FORTE 1997 (IFIP AICT)
