Международная конференция по формальным методам построения сетевых и распределенных систем - International Conference on Formal Techniques for Networked and Distributed Systems - Wikipedia
В Международная конференция IFIP по формальным методам работы с распределенными объектами, компонентами и системами (FORTE) является частью федеративного мероприятия конференции DisCoTec[1] (Методы распределенных вычислений), который также включает Международная конференция по моделям координации и языкам (КООРДИНАЦИЯ) и Международной конференции IFIP по распределенным приложениям и интероперабельным системам (DAIS).
До 2013 года конференция проходила как Совместная международная конференция IFIP по формальным методам для распределенных систем и состояла из двух конференций серий FMOODS и FORTE.
Объем
Объединенная конференция FMOODS / FORTE - это форум для фундаментальные исследования по теории, моделям, инструментам и приложениям распределенных систем.[2] Конференция требует оригинальных вкладов, которые продвигают науку и технологии для распределенных систем, в частности, в областях:
- компонентный и модельный дизайн
- объектная технология, модульность, адаптация программного обеспечения
- сервис-ориентированные, повсеместные, повсеместные, распределенные, облачные и мобильные вычислительные системы
- качество, надежность, доступность и безопасность программного обеспечения
- безопасность, конфиденциальность и доверие в распределенных системах
- адаптивные распределенные системы, самостабилизация
- самовосстановление / организация
- проверка, подтверждение, формальный анализ и тестирование вышеперечисленного
Приветствуются вклады, сочетающие теорию и практику и использующие формальные методы и теоретические основы для представления новых решений проблем, возникающих при разработке распределенных систем. На этой конференции рассматриваются модели распределенных вычислений и формальные спецификации, методы тестирования и проверки. Домены приложений включают в себя все виды распределенных систем уровня приложений, телекоммуникационные услуги, Интернет, встроенные системы и системы реального времени, а также безопасность и надежность сетей и связи.
Предыдущие конференции
веб-страница
- FORTE 2014
- FMOODS / FORTE 2013
- FMOODS / FORTE 2012 не в сети
- FMOODS / FORTE 2011
- FMOODS / FORTE 2010 не в сети
- FMOODS / FORTE 2009
- FMOODS 2008 / FORTE 2008 не в сети
- FMOODS 2007 / FORTE 2007
- ЯРМАРКИ 2006 / FORTE 2006
- FMOODS 2005 / FORTE 2005
- FORTE 2004
- FMOODS 2003 не в сети / FORTE 2003 не в сети
- FMOODS 2002 / FORTE 2002
- FORTE 2001 не в сети
- FMOODS 2000 / FORTE 2000 не в сети
- FMOODS 1999 вне форума / FORTE 1999
- FORTE 1998
- FMOODS 1997 вне сети / FORTE 1997 вне сети
- FMOODS 1996 / FORTE 1996 не в сети
Труды
- 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)