Executable Requirements Specification: Formal Semantics of Live Activity Diagrams.

Christoph Knieke, Michaela Huhn, Malte Lochau

Browse the full TASE paper archive.