HATS stands for Highly Adaptable and Trustworthy Software using Formal Models and is an Integrated Project supported by the 7th Framework Programme of the EC within the FET (Future and Emerging Technologies) scheme.
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 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.
Members of the HATS consortium are organizing the 3rd International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE), to be co-located wtih Software Product Line Conference (2012) on 2nd September in Salvador, Brazil.
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.
The HATS project delivered an invited talk titled 'Modelling Distributed Adaptable Object Oriented Systems using HATS Approach: A Fredhopper Case Study' at 2nd International Conference on Formal Verification of Object-Oriented Software, which took place in Turin, Italy during October 5-7, 2011.
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.
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!
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 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.