Modeling and Validation of Executable Requirements Using Live Activity Diagrams.

Christoph Knieke, Michaela Huhn, Malte Lochau

Browse the full SERA paper archive.