Expand Documentation

[qwsmit]

Quite a wide issue but expand the the documentation stored in docs to contain more information about implementations and details on how to use them.

• Expand Portal classes to include implementation details

[jensdietrich]

Work towards paper

• use latex, add to /report folder
• one document per section , refs in bibtex
• style as per https://conf.researchr.org/track/icsme-2025/icsme-2025-tool-demonstration. (IEEETrans)
• intro: placeholder, perhaps some material data paper, perhaps add something on fail-fast
• related work: placeholder
• design
  • java agents general intro
  • define annotations
  • defining objects (not types)
  • global data structures to track annotated objects
  • signaling violations with runtime exceptions
  • memory issues
  • dealing with reflection (Field::set)
  • modelling transfer
• examples / evaluation ?
• use \lstlisting for code listing
• pick 2 (perhaps account, sort) if space use race condition one
• conclusion - placeholder
  • discuss no performance evaluation yet