FIT 2010

August 30th, 2010      Paris, France (associated with CONCUR 2010) organised and funded by ARTIST 

Topics
Topics of interest include (but are not limited to):
  • Modeling of rich interfaces, handling aspects like
    • timeliness
    • QoS
    • safety
    • reliability
    • fault-tolerance
    • security
    • probability
    • resource constraints
  • Type systems
  • Design methods for interfaces, design by contract
  • Verification and analysis of interfaces:
    • abstraction
    • refinement
    • assume/guarantee reasoning
    • compositionality
    • property preservation
  • Domain-specific interfaces, use of interfaces like
    • product lines
    • web services

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet