You are here

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