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