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   |  
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /project/FMT/sefm2010/include/footer.php on line 83
  |   rss feed   |   css 2.1   |   last updated: 08 Mar, 2010 - 14:33