HATS Tutorials

Members of the HATS project will give the following tutorial at the Connect Summer School and at the TAROT (Training And Research On Testing) Summer School. It gives a general introduction into the specification language ABS and the HATS methodology:

• Lecture Notes: Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language

 Dave Clarke (KUL) presented a tutorial entitled:

• Modelling Software Product Lines with the HATS Abstract Behavioural Modelling Language 

at the SEFM School 2011, affiliated with the 9th International Conference on Software Engineering and Formal Methods, November 7-11, 2011, Montevideo, Uruguay.