HATS FMCO 2010 Session

The 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

On 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

Good 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

The 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

 The project quality plan and dissemination plan have been published. Read more...

Working meeting Oslo/Kaiserslautern for core ABS language 17.8-21.8.2009

In a 3 day working visit by Martin Steffen to Kaiserslautern, collaborating in particular with Jan Schaefer and Arnd Poetzsch-Heffter, we worked out a first proposal for the core ABS language (WP1.1). We took into account the preliminary discussions of the previous meeting in Bologna. The outcome is a working document about the Core ABS (which will result later in the deliverable). Further discussions concerned the used tools and technologies for implementing the language.

 

First Scientific Deliverable D5.1 published

 On the 31st August 2009 the first deliverable D 5.1 "Requirement Elicitation" of the HATS project has been published. You can download this and future deliverables here.

The HATS Scientific Advisory Board is complete.

 The HATS Scientific Advisory board is completed. Read more ...

HATS featured in CORDIS News

The HATS project is featured in the CORDIS news service. Read more ...

Syndicate content