About the HATS project

 


The HATS project finished on 31. March 2013.

All activities, objectives, milestones, and deliverables were achieved as planned and on time.

The final project review took place in April 2013. All deliverables were approved and the project has been assessed with "excellent progress", the highest possible assessment level.

Lecture Notes on HATS International School on Formal Models for Objects and Components Available

The  International School on Formal Models for Objects and Components which was organized by members of the HATS project is now over. We want to thank all teachers for their great lectures and also all participants for their active participation making the summer school a huge success.

HATS International School on Formal Models for Objects and Components

 HATS project members are organizing the International School on Formal Models for Objects and Components.

The school will be held at the University Residential Center of Bertinoro (Italy), September 24-28, 2012.

Third year project deliverables are online

The project deliverables of the third year are available online. They cover a wide range of topics including configuration deployment, variability, testing, debugging, model mining as well as an evaluation of modeling.

Third annual meeting of the HATS project in Oslo

 The third annual meeting of the HATS project took place in Oslo from the 5th-7th September. Around 45 project members attended and presented their past, ongoing and future work. The meeting gave rise to a number of interesting discussions with our members of the SAB and EUP who provided valuable feedback. The presented work of the project members was impressive and inspiring.

The HATS project wants to thank in particular the local organizers for their effort in organizing the meeting and making it a success.

Video of the HATS tutorial at the ECOOP Research Project Symposium online

Tags: ECOOP, Tutorial

As part of the ECOOP Research Project Symposium tutorial member of the HATS project gave a three hour tutorial introducing into the main concepts of HATS and show casing the theoretical advances as well as the impressive HATS tool suite. The ECOOP organizers published now the video recording of the tutorial. See it and get in contact with us!

 

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.

Second year project deliverables are online

The project deliverables of the second year are available online. They cover a wide range of topics including the full ABS language, feature selection and integration, resource analysis and various verification techniques as well as a systematic analysis of evolvability on the system level and at the bytecode level.

Syndicate content