Unfortunately, there is not a lot of documentation yet.
This section will grow as more information will become available.
Poster
The first two posters of a series of posters describing the HATA basics.
„The formal theory driving HATA specifications - Sequential Processes“
- Poster PA in HATA (seq) - v01.pdf
„The formal theory driving HATA specifications - Parallel Processes“
- Poster PA in HATA (par) - v01.pdf
Poster
A poster for the “Forschungssymposium Emden 2016” documenting the results achieved during the sabbatical term.
„Towards executable formal specifications“
- Poster HS E-L FS 2016-final.pdf
Presentation
A presentation given at the „Automatisierungstage 2016“-Konferenz (in German).
„Sichere Automatisierung mit HATA“
- AT_2016_GJV.pptx.pdf
Software Documentation
The documentation of the HATA API in JavaDoc format.
- HATA API
Project Proposal
The original project proposal (in German).
- Forschungsvorhaben GJV WS15.pdf
HATA precursor in Scala
A poster describing a HATA precursor based on Scala presented at EKA 2014 (in German).
“Modellierung von parallelen und verteilten Systemen mit domänenspezifischen Sprachen”
- Poster EKA 2014.pdf
