HATS participates in the ECOOP Research Project Symposium

We are happy to announce that HATS has been accepted and will actively participate at the ECOOP Research Project Symposium 2011. In a three hour presentation, members of the HATS project will give a concise, yet thorough introduction to the main concepts developed in HATS.

The presentation is given in tutorial style covering:

• the modeling language ABS
• the accompanying HATS tool suite (demo)
• advanced topics like
  • the ABS component model
  • compositional verification of software product lines
  • evolution and monitoring

For more details on the presentation see the official presentation description.