About the HATS project
Fri, 11/28/2008 - 10:20 — GuestHATS 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.
Invited talk at 2nd International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2011)
Tue, 11/29/2011 - 10:42 — projectmemberThe 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.
HATS participates in the ECOOP Research Project Symposium
Fri, 04/08/2011 - 14:46 — Richard BubelWe 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
Fri, 04/08/2011 - 14:31 — Richard BubelThe 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.
2nd International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE)
Mon, 04/04/2011 - 10:16 — projectmemberMembers of the HATS consortium are organizing the 2nd International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE), to be co-located wtih Software Product Line Conference (2011) on 26th August in Munich.
HATS FMCO 2010 Session
Wed, 12/22/2010 - 08:58 — Richard BubelThe HATS project was invited to organise a session at FMCO 2010 in Graz. Back from Graz we can happily report that the session had been a success.
In four presentations we gave an exciting overview on the results and ongoing research done within HATS. For the first time we also publicly presented the current tools of the ABS Tool suite.
Scientific Deliverable D5.2 published
Tue, 08/31/2010 - 10:19 — projectmemberOn the 31st August 2010 Deliverable D5.2 "Evaluation of Core Framework" of the HATS project has been published. You can download this and other deliverables here.
Workshop "Formal Methods in Software Product Line Engineering" accepted
Fri, 04/09/2010 - 09:31 — Richard BubelGood news: The workshop "Formal Methods in Software Product Line Engineering" (FMSPLE) proposed by members of the HATS consortium at the Software Product Line Conference (SPLC) 2010 has been accepted.
SPLC is the premier forum for practitioners, researchers and educators to present and discuss experiences, ideas, innovations as well as concerns in the area of software product lines.
Deliverables due at end of the first project year published
Mon, 03/01/2010 - 09:47 — Richard BubelThe deliverables on the core ABS language (1.1.a) and methodology (1.1.b), feature selection and integration (2.2.a) and evolvable systems (3.1) have been timely submitted. Read more...
Project quality and dissemination plan published
Thu, 02/25/2010 - 23:00 — Richard BubelThe project quality plan and dissemination plan have been published. Read more...
 |
 |
 |
 |