Conference Topics

Topics of interest include, but are not limited to:

  • formal methods technology transfer
  • scalable formal methods
  • requirement analysis and specification
  • software specification, verification and validation
  • component-based development
  • programming languages and type theory
  • formal models for service-oriented computing
  • web and grid computing
  • formal models for web services, choreography and orchestration
  • formal aspects of security and mobility
  • model checking for software and hardware systems
  • theorem proving and decision procedures
  • program analysis
  • real-time, hybrid and embedded systems
  • safety-critical and fault-tolerant systems
  • interactive systems and human error analysis
  • software architectures and their description languages
  • object and multi-agent systems, aspect oriented development
  • coordination and feature interaction
  • formal aspects of software evolution and maintenance
  • formal methods for testing, re-engineering and reuse
  • light-weight formal methods
  • CASE tools and tool integration
  • applications of formal methods and industrial case studies

   

 
www.sefm2010.isti.cnr.it SEFM 2010 School
Home    |    News   |   Downloads   |   Sitemap   |     |   rss feed   |   css 2.1   |   last updated: 08 Mar, 2010 - 14:33